Print errors nicely
Properly desugar alias
Generate random terms and quickCheck that the pretty-printer does not crash

The tensorOrder for tensors is wrong, so we get cases because of that.

Quantifiers and exponentials are not implemented, and it never generates
cut.