WIP: Two changes underway.  Brought back newBottom & .Unsafe modules.

newBottom uses constraint kinds.  Also, added some .Unsafe modules
to start putting "peek" operations for Maps.  These kinds of unsafe
operations can be very useful when defining derived LVars using
existing ones.