Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F.