Notes on Hygrophoraceae — VII. On the taxonomy and nomenclature of some species of Hygrophorus