TypeChecker: toTyped -> apply