Test getMemberType for predicated type
findTypeVars now takes vars from foralls

This is to allow for qualified types in foralls as described in #8.
Test error on overlapping tvars