Following peer review comments, Andreas has significantly revised his paper, and simplified some of the derivations, particularly in the "type inference" sectio

Following peer review comments, Andreas has significantly revised his paper, and simplified some of the derivations, particularly in the "type inference" section, making the type derivation rules more algorithmic and easier to implement.