Add repr and str to Subset
Fix typechecking in Subset constructor
Allow iteration over extruded sets to read base set Dats

If we're iterating over an extruded set, reading a Dat defined on the
base set should be allowed (we should just not apply an offset).  Change
argument checking for parallel loops and code generation to allow this.