Term.App is typed now