investigating why isRealizable(NoType) is called

reason: isRealizable depends on the type of not-yet-typechecked trees