Better types for PHP