TypeInference: added propagation of P3Meta
Merge branch 'master' of ssh://github/Wassasin/splang