Separated out Bool and Sum stuff, showed disjointness of Bool.