Typed syntax added.

Typed syntax uses a colon and an uppercase letter to indicate types for
function arguments.  Multiple arity functions are not supported in the
typed syntax. No type inference is being performed at this time.