Revised the halt operation
Added doc on defop macro