//: A simple test harness. To create new tests define functions starting with
//: 'test_'. To run all tests so defined, run:
//: $ wart test
//:
//: So far it seems tasteful for layers to never ever reach back to modify
//: previously-defined tests. Every test is a contract once written, and should
//: pass as-is if it is included, regardless of how much later layers change
//: the program. Avoid writing 'temporary' tests that only work with some
//: subsets of the program.
:(before "End Types")
typedef