WSet -- (under construction!) new types and methods needed to generalize WitnessSet

Types of (abstract) witness set :

• WitnessSet -- a witness set

Methods that use a (abstract) witness set :

• ambient(WSet)
• codim(WSet)
• degree(WSet)
• dim(WSet)
• net(WSet)
• points(WSet)

For the programmer

The object WSet is a type, with ancestor classes HashTable < Thing.