Fix incorrect typecheck for typeclasses

When a typeclass was not imported from the original module, looking up the type of any class method would fail.

All tests passed.

Also removes some whitespace.