feat(compiler): Support `=>` in type signature

[phated]

There are problems/bugs with this, so marking as a draft.

I think we want to support -> and => for 0.5.x releases, and then the formatter will turn them into => and we can drop -> in 0.6