Lazy, pull-based composition of mathematical interval sets with open/closed endpoints, no_std-compatible.