Type-Safe PHP - the type checker