A leaf spec represents an atomic datum that is checked completely
with a single precondition, and is otherwise a black box to Schema.