Rename IMP_Extensions to IMP_ExtensionsForBigStepSemantics