Removed unused function in test cases.
Pass correct expected and actual in test cases.
Remove unused imports.
Add TypeSynonymInstances.

There are actual instances for type synonyms, but the extension only seems to be needed on 7.0.
Add type signatures for where-defined functions.

This is needed to compile in 7.0.
Bump version and update changelog.