Get rid of annoying wart where `get` returns a singleton set...

...and `put` has to take a singleton set.

They now both just take lattice values.