added assertion
added helper function to check wether a def is an "out" of a primop returning a tuple
ported lift_enters to new mem stuff
local rule in Enter now uses new Mem stuff