s-expression parser, type checker, reference AST semantics - View it on GitHub