Fix spacing
Track locations again

Also, replace product-based definition with something simpler.

Need to restore pretty-printing, though
Drop redundant BoolDomain
Add specific printable support for cofibered domains