comments
Higher-order functions
tuples and lists, wording
compilation scheme, polymorphism, wording
return value apologia