Tsonnet #35 — Call me maybe, but make it typed, part 1

Tsonnet gains basic function support — positional parameters, multiline bodies, and type inference that resolves at call time.