Module chalk_solve::display::bounds

Writer logic for where clauses and other bounds.

Contains logic for writing the various forms of Foo: Bar.