change type names in PHPDoc