Improve LowerUnits and LowerUnivalents
Improve algorithm descriptions