add minimal documentation for lift and onlyliftedfrom