Make coverage checker a lot faster
...with strategic use of 'nub' so as not to generate a crazy number of
clauses!
Fix error in conversion check
Fixes issue #187
Fix non-termination error in universe checker