Class DomainTheory.DyadToken