supervarieties