fix(library/hop_match): do not match iff with =

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/simplifier): preserve binder names when applying higher-order rewrite rules

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
feat(library/simplifier): preserve binder names when applying higher-order rewrite rules