TypeInference: fixed P3Meta inferredType