A research platform for recursive type inference on an extension of System F Omega