Two things: add a IO lifting function (parIO), with proper effect signature.
Also add some missing methods for SLMap that were added to PureMap.
Start to address issue #74.  Add an LVarWBottom instance for SLSet.