data NativeType = WyString String
                | WyInt Integer
                | WyBool Bool
                | WyList [NativeType]
                | WyMap (M.Map String NativeType)
                | WyId String
                | WyApplic [NativeType]
  deriving Show

instance Eq NativeType where
  (WyString s1) == (WyString s2) = s1 == s2
  (WyInt i1) == (WyInt i2) = i1 == i2
  (WyBool b1) == (WyBool b2) = b1 == b2
  (WyList l1) == (WyList l2) = l1 == l2
  (WyMap m1) == (WyMap m2) = m1 == m2
  (WyId i1) == (WyId i2) = i1 == i2
  (WyApplic a1) == (WyApplic a2) = a1 == a2

instance Ord NativeType where
  compare (WyString s1) (WyString s2) = compare s1 s2
  compare (WyInt s1) (WyInt s2) = compare s1 s2
  compare (WyBool s1) (WyBool s2) = compare s1 s2
...