wip: try to automatically create type equalities

wip: try to automatically create type equalities #137