Type-Safe PHP - the parser