use qualified import
rearrange abort information
simplify abort process
add set operations
clarify operand parsers