New species, new varieties, and a new record of Psilocybe from Brazil