Support Curried Function Application by Default

[andrew-johnson-4]

trafficstars

(f( a b c ))

AND

(f a b c)

should be OK. All that is necessary is to bind a separate type signature for the curried syntax.