BENCH syntax analogous to TEST syntax, more monadic ops, and a test for default record field values.