Re: optional params before `untyped` body

[mratsim]

Especially given that overloading requires untyped parameters at the same 
position for all overloads.