Adapt to proposed TcPluginM API changes in Phab:D553
Reduce Unpack type family more eagerly
First draft of automatic conversion inference
Add occurs check, because stuck type families might violate it
Add beginnings of a testsuite for uom-plugin
Fall-back on looking up names in "this" package, so uom-plugin can use itself
Move advanced features into their own modules
Do not throw away givens so eagerly
Add missing imports to examples
Adapt to updated TcPluginM API once more
More wrappers in TcPluginExtras
Minor GHC API wobbles
Use UnivCo instead of CoAxiomRule to make bogus evidence