Make RPI work with UncheckedInference
Make ProofExporterVeriT export unchecked inference
Rename LowerUnits
Adapt LowerUnits for UncheckedInference
Add more algorithms