Annotate type signatures, classes and instances

More `Resolvable` instances to annotate type signatures, classes and instances to fix #34 and #45.