small things

- classify parsed rules into calculus vs abstraction
- report in which file there was a parse error (bugfix)
- added [CalculusOps] and [AbstractionOps], mostly empty for now
- type for abstraction rules
- bugfix in test makefiles: didn't change dirs properly
- ignore gmon.out