Promote SLMap.IMap to a GADT.  Add LVarData1 instance.
Add the instance for LVarData1 to SLSet as well