Added some more rewrite rules for nary int expressions.