Configured binary intervals

Executable interval operations with configured endpoints and soundness theorems transported from the format-generic model. Import Configured.Interval.Runtime for the executable API alone.