Added type-level imports and some extra tests. Fixed a bug where base classes weren't looked up for operator overloads.