Type derivation that converges to a least fixed point