Added missing reflectiveCalls language import
Test makeInstanceMemberType
Better implementation for makeInstanceMemberType

Slightly changes the method semantics, but for the better. It now only
accepts foralls (but it should only ever have been passed them anyway),
and it also instantiates the predicates rather than filtering them out.
This should be fine as TypeInference will simplify the predicates list
to remove fully instantiated classes anyway.
More makeInstanceMemberType stubs

Covering the changed functionality from the last commit
Unused imports and unnecessary parens