Commit with too many things:
Changed aterm version to one that doesn't have the two parsing bugs. Added more primitives. Fixed bugs in StackTracer and added it into the interpreter so it actually traces. Handling annotated strategy definitions is a stupid way. Dropping external strategy definitions. Fixed bug in term matching.
Showing with 439 additions and 80 deletions