fun x1 ... xn → ...
let f x1 ... xn = ...
といった簡略記法をサポートした