improve lift and lower
comment about universe annotations and cumulativity
add a test for Lift'
Merge pull request #595 from mikeshulman/lift

improve lift and lower
./autogen.sh