Simple Type Lib for PHP