Congruence for apply*
Split LocallyNamelessValues
export ~force
Almost finished monotonicity for eval; now there is a problem with size mismatch