Merge pull request #183 from garyb/master

Potential fix for #182
Add examples/shouldpass
Update docs
#185 Non-function values should not have access to the current binding group
Another example for #185
More code comments
#184 Nested type synonyms now expand properly, type class instances for type synonyms can be found
Free variables calculation, better quantify function.
Fix #181 - implement capture avoiding type substitution properly
Delete 1