Don't ignore subtrees of type applications

Added testcase + fix.