Two extensions of Curry's type inference system