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