Change default AST state class name to ASTState

The AST state class previously had the default name ASTNode$State to avoid
conflict with other class names. However, it is usually considered bad practice
to use the dollar sign in class names, since the Java compiler uses the dollar
sign in the names of implicitly generated classes.