User picked the declaration-vs-definition split over reserve/complete. declare() returns a forward nominal Type handle (named from the :: LHS); define(handle, info) fills its body. reify(info) stays the one-shot sugar. Updated PLAN-REIFY Phase 4 + Contract 5 + CHECKPOINT-REIFY.