Declaring Types at Function Declaration

thanks.  (indeed, on this one, even I knew this can be done, and only at
runtime, of course, for all generality. ;-)).

My suggestion was only for a little syntactic sugar.  python has something
like it, too.