ir: Add TraitsExp node.