Class ASTSubTypeDefinition