annotate instance heads fix #45
modify test for class instances
resolvable instance for declarations in instances
traverse class decl
annotate instance decl
remove unnecessary imports
accept tests
run through instrule instead of insthead
annotate names in type signatures, fix #34
Annotate classes and instances, fix #45