Extract matchBody of matchExpression
Infer: Strictify/unpack some data types
Make Expression Lens that can reach all leaves of an expression/body. Use that to manipulate ParameterRef guids
Makefile: Use GHC_FLAGS
Makefile: Add -XScopedTypeVariables for easier type error debugging when building tests