fix in subst. of Ax
don't print types in System printer.