choice-of-bounds metatheory for choice-of-bounds types In order to play around with some non-trivial examples, simply run the file "doc/examples.rkt".