More design before I nuke the current chapter on xh-script semantics (it should be a constraint list)