Tsonnet #36 - Call me maybe, but make it typed, part 2

Tsonnet gains default function arguments — with types inferred at declaration time.