Syntax and eta expansion administrivia.