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.