Matching and rewriting constant TYPE

[gabrielhdt]

This pull request allows the rewriting engine to match on constant TYPE. This will allow to create coercions of the form

coercion coerce Set $x TYPE --> El $x;