Fixed but in core.typed annotation

* Args are represented w/o arrows separating them unlike in Haskell.

* "->" arrow precedes return type