TypeInference: fixed typevalidation
Merge branch 'master' of ssh://github/Wassasin/splang