Eliminate the silly namedContext member of printType