Also type-checking an expression of a type if type-check of the normal tree didn't produce a result
Two modules + scope test
Test for abstract scope