bhk_slant_irrational: New
simple_finite_dimensional_extremality_test: handle discontinuous functions as well
Lift using simple_finite_dimensional_extremality_test