process more string AST nodes
check for type validity