add skinny pushout and rename
finish that
add peter's definition
work it down to wedge-elim
another codes-m