same type names can exist after merging, so
1) find_ty_str and get_cid, which are redundant, may find different ids; remove one logic
2) use ty_comp, rather than exact equality, when checking class ids
Merge branch 'master' of https://github.com/plum-umd/redexer