Delimited quantifiers #67
Description
Not sure if this is good idea, but certain type signatures might be easier to read with delimited quantifiers. Something like this:
a <: P => T, equivalent to T [a & P / a-]
a :> P => T, equivalent to T [a | P / a+]