Much improved optimization DSL based on operational. HERMIT now runs before and after all passes.