required params and types in function declarations

[gfogle]

possibly incorporate some of the thoughts from here

like passing in an object mapping of property names as keys and the values are the required types. types could be primitives, or they could be previously defined types checked at runtime