semkeep Work-in-progress, probably needs a rewrite. An attempt at using rewrites with a small set of accepted rules to obtain optimizations.