Minor comment tweaks
Fix bug in optimizing injectivity check. Fixes #90

See Note [Skipping injectivity check for empty environments]
Introduce FamInstCheckType instead of Bool

Fixes #86
Stub of fuller-laziness analysis pass
Find simple free function arguments
Fix multi-parameter lambdas
Comments after meeting with Tomek