change type inference rule tag names