added advanced type and AST printing facilities