chickadee » options » some

some itemprocedure

the fundamental datatype-constructor for a nonempty option. In typed modules, the argument item must pass the item? check.