Add backtrace to exceptions.
Add .cache files to .gitignore.
Support quoted CP-style process expressions.

The translation of nu s.(P|Q) manually inserts type annotations; this
means that if those type annotations include aliases, the compiler will
crash complaining about attempting to compute the dual of an alias.

There is no direct support for replication or access points in the CP
syntax yet.