Export invariant and previously, but make previously's docstring note about its experimental nature a bit stronger

Also elaborate previously's docstring a bit more