Remove local AOP library; use effective-aspects from Cabal instead

Minor modification required for Jp constructor
Tried to extend term types with various methods

Might not be the best course of action anyway
Preliminary examples for paper
Add “ideal” way to write the extension
Update notes
Cleanup
Cleanup LCS and put Environment in a monad
Try stuff
Facet instrumentation à la carte