pub fn app3(f: Expr, a: Expr, b: Expr, c: Expr) -> Expr
Build a function application f a b c.
f a b c