skeleton for type checker report
worklog
implementation language
grammar changes
the role of type annotations
mutual recursion, scoping rules
fix 'types are too general' claims
polymorphism and assignments