Removed all type signatures accept for the applied terms in function application ("CFA = For each function application, which functions may be applied")