prettyprint: print type of global variables
prettyprint: fix indentation
proper inference of assignments
testcase
report: adapt to brace style grammar
report: assignments and polymorphism
report: don't mention deadlines