Added SyntaxTree type; Notes on parsing and ASTs; some minor changes