phpdoc/parameter type resolutions