This PR contains fixes for the parameterization of the proofmode folder by the step-index type in iris!1163.
proofmode