Remove word case distinction and explicitly quantify types.
Remove non-infix operators to improve section syntax.
Decapitate built-in types.