Require type annotations on params in function types

[kevinbarabash]

The following should not be allow:

type Foo = fn (Point) -> number;

the following is what's required:

type Foo = fn (p: Point) -> number;