add some proper instances and theorem about crash_xform and lift_empty
add some proper instances and theorem about crash_xform and lift_empty

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl