Removed the type clause specification in binder.

It should be with identifiers for more consistency.
Added the syntactic sugar for traditionnal function definition.
Trying a Ocaml-like syntax for matches.