Split off and document findFixPoint
Ditch ScopeCheck
Update .cabal
Recursive: use annotate
rmap
Use Typeable approach in Resolvable
Language.Haskell.Modules.Annotated
Get rid of defaultImpl
Add a roadblock instance fro Scoped
Clean up instance constraints
Add dependency on type-eq
.cabal: add Open.* modules