Ported lifitings and Wu transforms to new Inequality code.