made phpdoc types consistent with those defined in Hack