Typing: fixed bug in InferStmt for Return
Typing: fixed description of PolyViolation
Main: added better printing of PolyViolation
Merge branch 'master' of ssh://github/Wassasin/splang