enum VarSym with Eq, Order, ToString
case VarSym(String)
instance Eq[VarSym]
instance Order[VarSym]
instance ToString[VarSym]