Basic Types for PHP object system