rename OpOrdering -> OpOrder
rename issue -> seal
bug fix
comment
fix bugfix
rename accept -> includes
r/m commented-out code
merge