Considerations and consequences of allowing DNA sequence data as types of fungal taxa