Draft: Remove self-aliases in type inference database
They bring no info and just make debugging harder because the important constraints are mixed with these useless ones.
They bring no info and just make debugging harder because the important constraints are mixed with these useless ones.