Allow haskell style type annotations for functions.

[trezm]

For function types, we should allow

/* add : number -> number -> number */
function add(a, b) {
  return a + b;
}