Coercions

[gabrielhdt]

Simple coercions

TODO

• [x] use a better strategy than SNF to reduce coercions
• [x] ensure holes generated by coercion are properly transformed into existential variables

This pull request won't include unification during type checking, nor rewrite rules protection.