Wall Werror
Use a 'DisjointSet a' instead of a 'Maybe [a]' for 'isPat'
Start on generic GAlpha instances.
added 'isFreeName', 'Show (Name a)'
instances of Alpha for boring types
work in progress: 'Alpha (Name a)' instance

This is going to need more operations in the 'Alpha' typeclass.
Beginnings of a simple test case.