type, example, and trytac/repeat_tac
Ugly parser for formula's