Reimplement optional type-signature to force a type for a fn

[Champii]

At some point we allowed for function signature declaration like in haskell.
It was removed when the new nom parser has been implemented.

We should reimplement them, to enable fixing or documenting a function type