Remove Scheme.forAll lens (confusing). Add Scheme.mono