more complete type arg substitution in doc hover