PHP types wrappers