modify test for class instances
resolvable instance for declarations in instances
traverse class decl
annotate instance decl
Merge branch 'class_instances' into fragnix-haskell-names
accept tests