lift operator , remove  Monomophism Restriction
add infix declaration