Type-Safe PHP - the translator to php 5.4