Type-Safe PHP - the compiler