First test passes!

Had to switch to PureSet from SLSet for now because SLSet doesn't
expose a `freezeSet` operation.