The main goals are to boil the language down to a tiny but substantial feature set and to explore function binding