documented unions and intersections
formatting readme