This is not an important design decision; the AST could be statically typed.