Fix typoed func name
Add map-set dependency
Add code to rewrite rules to at most 2 hypotheses
Only include hypothesis vars in the head of a wildcard rule
Add multi-rule duple rewrite func
Add top-level rule normalization func
Stuff from today