Finish up TODO items for Lifted.hs