Upgrade to System F ω (1/3): Add kinds
Explain menhir error if necessary
Update the TODO
Upgrade to System F ω (2/3): Add type operators
Upgrade to System F ω (3/3): Add parameterized datatypes