fix IMP["T"]'s structure
add __eq__ & __repr__ for WSOperators
add __ne__ for WSOperators
support instructions without args