Hello! My name is Tomoaki Kobayashi and I am an undergraduate student in Japan. I am interested in the project and started to read the related codes like TypeCheckConstraints, ConstraintSystem, and CSSolver a little bit. @hborla @xedin Do you have a typical example where a confusing type is inferred? If we also consider type errors in that c...