Polymorphism: System F + Structural Types

Still to do before merging:

- [ ] add subtyping relation (with witnesses)
- [ ] add coercion operator