Module support

Structs

• Coerced
• NonWild
  Disallows the KeTree from storing any wild KE.
• UnknownWildness
  A ZST that forces the KeTree to always believe it contains wild KEs.

Enums

• IterOrOption

Traits

• IWildness
  Allows specializing KeTrees based on their eventual storage of wild KEs.