Allow wildcards in abstractions and products

The following syntax should be accepted :

fun _: Prop => True
(_ : A) -> B

Wildcards should have a special behaviour, as in, they can only be idents and not variables. For example, the following code shouldn't work:

fun _:Prop => _