now works with coq trunk patched

    coq version:
        	    https://github.com/DanGrayson/coq/commit/f23efe49ae9a806f5a510448897935e9ac56445b

    Foundations version:
    	    https://github.com/DanGrayson/Foundations2/commit/8908b92887f7704d5f9c946d5930fdec8358a472

    RezkCompletion version:
            https://github.com/DanGrayson/rezk_completion/commit/ea19fd9bfadba9a86e9e0d8b5be372563eeecbfd