KJ-7 Preparatory work, documenting existing semantics
KJ-9 create predicate defaultElabChildren, opposite to customElabChildren