encode fixpoint sorts to smt better
move smtlib2 parser to attoparsec