Adding support for searching gutter-symmetric and skewgutter-symmetric soups

A quick implementation. Ideally we'd want to only allow searching these symmetries for rules that actually preserve them, but this works for now.