Syntax of val binders

[nikswamy]

You can now write:

val id #a (x:a) : a

instead of

val id (#a:_) (x:a) : a

bringing the syntax of val binders closer to let binders

[nikswamy]

everest green too

[mtzguido]

Very nice!