Add 'Maybe: ability to (not) have a type'
Split 'Algebraic data-types' into 'Operations' and 'Values'
Add 'Kind polymorphism'