FunctionCall in terms of Expr; FunctionRef is added
Typed.Function now tells its full type not only one of the return value