> As an aside, compilers probably should have constraint solvers embedded. Lots of compilation is expressible as a constraint problem. If we had constraint sol

> As an aside, compilers probably should have constraint solvers embedded. Lots of compilation is expressible as a constraint problem. If we had constraint solvers in our compilers, would refinement types also be a lot easier to implement?