extended parser to probably deal with block structure, foralls, and equivalences