add bitwise operations
add comments and disable true_divide as it can change type
add m2.ref_cnt == 1 eliding for associative operations

implementation not good, just improve checking for issues in testsuite