equivalence checking of types using a table