Once you decide on a set you will want ways to put some together. We already have ways to put more general types together, lets use the same idea to define equality and unions and intersections.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
