Intent of types.test|title=Types assertDefined should not throw if `value` is defined (bool)|occurrence=1, types.test|title=Types assertDefined should not throw if `value` is defined (zero)|occurrence=1, +3

All 43 exact tests in this concept. Every test is marked by where it enters the hierarchy.