A strong typing library for PHP 5.something