Reviewed coproducts code; renamed file
* Added top-level EmptySet/NonEmptySet traits;
* WIP: trying to resolve problems with HasProperties (to combine all evidences);