This is the paper about type inference: https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf I think I've

This is the paper about type inference: https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf https://users.soe.ucsc.edu/~cormac/papers/esop07.pdf I think I've understood your points and made mine, so lets see how it pans out :) Thanks for the discussion!