Add rewrite rules for a few generic kinds (variables and equalities).