misc: Move lifting operators into z3 projects