refine Or and Seq and make less wrapping, prettify rule inspecting