Describe attributes of concrete syntaxes 0 and 1
Describe pretty substitutions
Describe module representation issues
Organize syntactic abstraction ideas
Describe ideas around defining new data types
Cover presentation issues of syntactic abstraction