add WhileSyntax
support TypeOperator and TypeApply
add TypedNode.toString()