[Refactoring] Add Type::equivalent(Type *t)
fix Issue 13437 - [e2ir] ICE in e2ir.c 4616