A fairly full-featured library of lemmas on disjoint unions.

We prove lots of truncation and connectivity facts.