Inferyes type inference engine