getMemberType tests
lookupInstanceParamType tests

Also fixed a silly mistake with tcons and dcons being mixed up in the
check-things-haven't-been-modified phase of some of the other tests