More renaming

IntersectMBO · kwxm · Nov 4, 2024 · Nov 4, 2024 · Nov 4, 2024 · Nov 4, 2024
commit dd0de6bb33260997f3b1b3412d0d8dc0582d822f
diff --git a/...addInteger/addInteger01/addInteger01.uplc → ...dInteger/addInteger-01/addInteger-01.uplc b/...addInteger/addInteger01/addInteger01.uplc → ...dInteger/addInteger-01/addInteger-01.uplc
diff --git a/...teger01/addInteger01.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected b/...teger01/addInteger01.uplc.budget.expected → ...ger-01/addInteger-01.uplc.budget.expected
diff --git a/...r/addInteger01/addInteger01.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected b/...r/addInteger01/addInteger01.uplc.expected → ...addInteger-01/addInteger-01.uplc.expected
diff --git a/...addInteger/addInteger02/addInteger02.uplc → ...dInteger/addInteger-02/addInteger-02.uplc b/...addInteger/addInteger02/addInteger02.uplc → ...dInteger/addInteger-02/addInteger-02.uplc
diff --git a/...teger02/addInteger02.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected b/...teger02/addInteger02.uplc.budget.expected → ...ger-02/addInteger-02.uplc.budget.expected
diff --git a/...r/addInteger02/addInteger02.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected b/...r/addInteger02/addInteger02.uplc.expected → ...addInteger-02/addInteger-02.uplc.expected
diff --git a/...addInteger/addInteger03/addInteger03.uplc → ...dInteger/addInteger-03/addInteger-03.uplc b/...addInteger/addInteger03/addInteger03.uplc → ...dInteger/addInteger-03/addInteger-03.uplc
diff --git a/...teger03/addInteger03.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected b/...teger03/addInteger03.uplc.budget.expected → ...ger-03/addInteger-03.uplc.budget.expected
diff --git a/...r/addInteger03/addInteger03.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected b/...r/addInteger03/addInteger03.uplc.expected → ...addInteger-03/addInteger-03.uplc.expected
diff --git a/...addInteger/addInteger04/addInteger04.uplc → ...dInteger/addInteger-04/addInteger-04.uplc b/...addInteger/addInteger04/addInteger04.uplc → ...dInteger/addInteger-04/addInteger-04.uplc
diff --git a/...teger04/addInteger04.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected b/...teger04/addInteger04.uplc.budget.expected → ...ger-04/addInteger-04.uplc.budget.expected
diff --git a/...r/addInteger04/addInteger04.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected b/...r/addInteger04/addInteger04.uplc.expected → ...addInteger-04/addInteger-04.uplc.expected
diff --git a/...ppendByteString01/appendByteString01.uplc → ...endByteString-01/appendByteString-01.uplc b/...ppendByteString01/appendByteString01.uplc → ...endByteString-01/appendByteString-01.uplc
diff --git a/...1/appendByteString01.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected b/...1/appendByteString01.uplc.budget.expected → .../appendByteString-01.uplc.budget.expected
diff --git a/...String01/appendByteString01.uplc.expected → ...ring-01/appendByteString-01.uplc.expected b/...String01/appendByteString01.uplc.expected → ...ring-01/appendByteString-01.uplc.expected
diff --git a/...ppendByteString02/appendByteString02.uplc → ...endByteString-02/appendByteString-02.uplc b/...ppendByteString02/appendByteString02.uplc → ...endByteString-02/appendByteString-02.uplc
diff --git a/...2/appendByteString02.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected b/...2/appendByteString02.uplc.budget.expected → .../appendByteString-02.uplc.budget.expected
diff --git a/...String02/appendByteString02.uplc.expected → ...ring-02/appendByteString-02.uplc.expected b/...String02/appendByteString02.uplc.expected → ...ring-02/appendByteString-02.uplc.expected
diff --git a/...ppendByteString03/appendByteString03.uplc → ...endByteString-03/appendByteString-03.uplc b/...ppendByteString03/appendByteString03.uplc → ...endByteString-03/appendByteString-03.uplc
diff --git a/...3/appendByteString03.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected b/...3/appendByteString03.uplc.budget.expected → .../appendByteString-03.uplc.budget.expected
diff --git a/...String03/appendByteString03.uplc.expected → ...ring-03/appendByteString-03.uplc.expected b/...String03/appendByteString03.uplc.expected → ...ring-03/appendByteString-03.uplc.expected
diff --git a/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G1_scalarMul/mul44/mul44.uplc → ...bls12_381_G1_scalarMul/mul-44/mul-44.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected b/...81_G1_scalarMul/mul44/mul44.uplc.expected → ..._G1_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G1_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G1_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...1_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G1_scalarMul/mulneg44/mulneg44.uplc → ...381_G1_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/...calarMul/mulperiodic01/mulperiodic01.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/...calarMul/mulperiodic01/mulperiodic01.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...odic01/mulperiodic01.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...odic01/mulperiodic01.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...mulperiodic01/mulperiodic01.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...mulperiodic01/mulperiodic01.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/...calarMul/mulperiodic02/mulperiodic02.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/...calarMul/mulperiodic02/mulperiodic02.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...odic02/mulperiodic02.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...odic02/mulperiodic02.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...mulperiodic02/mulperiodic02.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...mulperiodic02/mulperiodic02.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/...calarMul/mulperiodic03/mulperiodic03.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/...calarMul/mulperiodic03/mulperiodic03.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...odic03/mulperiodic03.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...odic03/mulperiodic03.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...mulperiodic03/mulperiodic03.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...mulperiodic03/mulperiodic03.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/...calarMul/mulperiodic04/mulperiodic04.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/...calarMul/mulperiodic04/mulperiodic04.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...odic04/mulperiodic04.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...odic04/mulperiodic04.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...mulperiodic04/mulperiodic04.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...mulperiodic04/mulperiodic04.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc b/...s/bls12_381_G2_scalarMul/mul44/mul44.uplc → ...bls12_381_G2_scalarMul/mul-44/mul-44.uplc
diff --git a/...calarMul/mul44/mul44.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected b/...calarMul/mul44/mul44.uplc.budget.expected → ...larMul/mul-44/mul-44.uplc.budget.expected
diff --git a/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected b/...81_G2_scalarMul/mul44/mul44.uplc.expected → ..._G2_scalarMul/mul-44/mul-44.uplc.expected
diff --git a/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc b/...s12_381_G2_scalarMul/mul4x11/mul4x11.uplc → ...2_381_G2_scalarMul/mul4x-11/mul4x-11.uplc
diff --git a/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected b/...rMul/mul4x11/mul4x11.uplc.budget.expected → ...ul/mul4x-11/mul4x-11.uplc.budget.expected
diff --git a/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected b/...2_scalarMul/mul4x11/mul4x11.uplc.expected → ...scalarMul/mul4x-11/mul4x-11.uplc.expected
diff --git a/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc b/...2_381_G2_scalarMul/mulneg44/mulneg44.uplc → ...381_G2_scalarMul/mulneg-44/mulneg-44.uplc
diff --git a/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected b/...ul/mulneg44/mulneg44.uplc.budget.expected → .../mulneg-44/mulneg-44.uplc.budget.expected
diff --git a/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected b/...scalarMul/mulneg44/mulneg44.uplc.expected → ...alarMul/mulneg-44/mulneg-44.uplc.expected
diff --git a/...calarMul/mulperiodic01/mulperiodic01.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc b/...calarMul/mulperiodic01/mulperiodic01.uplc → ...larMul/mulperiodic-01/mulperiodic-01.uplc
diff --git a/...odic01/mulperiodic01.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected b/...odic01/mulperiodic01.uplc.budget.expected → ...ic-01/mulperiodic-01.uplc.budget.expected
diff --git a/...mulperiodic01/mulperiodic01.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected b/...mulperiodic01/mulperiodic01.uplc.expected → ...lperiodic-01/mulperiodic-01.uplc.expected
diff --git a/...calarMul/mulperiodic02/mulperiodic02.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc b/...calarMul/mulperiodic02/mulperiodic02.uplc → ...larMul/mulperiodic-02/mulperiodic-02.uplc
diff --git a/...odic02/mulperiodic02.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected b/...odic02/mulperiodic02.uplc.budget.expected → ...ic-02/mulperiodic-02.uplc.budget.expected
diff --git a/...mulperiodic02/mulperiodic02.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected b/...mulperiodic02/mulperiodic02.uplc.expected → ...lperiodic-02/mulperiodic-02.uplc.expected
diff --git a/...calarMul/mulperiodic03/mulperiodic03.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc b/...calarMul/mulperiodic03/mulperiodic03.uplc → ...larMul/mulperiodic-03/mulperiodic-03.uplc
diff --git a/...odic03/mulperiodic03.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected b/...odic03/mulperiodic03.uplc.budget.expected → ...ic-03/mulperiodic-03.uplc.budget.expected
diff --git a/...mulperiodic03/mulperiodic03.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected b/...mulperiodic03/mulperiodic03.uplc.expected → ...lperiodic-03/mulperiodic-03.uplc.expected
diff --git a/...calarMul/mulperiodic04/mulperiodic04.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc b/...calarMul/mulperiodic04/mulperiodic04.uplc → ...larMul/mulperiodic-04/mulperiodic-04.uplc
diff --git a/...odic04/mulperiodic04.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected b/...odic04/mulperiodic04.uplc.budget.expected → ...ic-04/mulperiodic-04.uplc.budget.expected
diff --git a/...mulperiodic04/mulperiodic04.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected b/...mulperiodic04/mulperiodic04.uplc.expected → ...lperiodic-04/mulperiodic-04.uplc.expected
diff --git a/...chooseList/chooseList01/chooseList01.uplc → ...ooseList/chooseList-01/chooseList-01.uplc b/...chooseList/chooseList01/chooseList01.uplc → ...ooseList/chooseList-01/chooseList-01.uplc
diff --git a/...eList01/chooseList01.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected b/...eList01/chooseList01.uplc.budget.expected → ...ist-01/chooseList-01.uplc.budget.expected
diff --git a/...t/chooseList01/chooseList01.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected b/...t/chooseList01/chooseList01.uplc.expected → ...chooseList-01/chooseList-01.uplc.expected
diff --git a/...chooseList/chooseList02/chooseList02.uplc → ...ooseList/chooseList-02/chooseList-02.uplc b/...chooseList/chooseList02/chooseList02.uplc → ...ooseList/chooseList-02/chooseList-02.uplc
diff --git a/...eList02/chooseList02.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected b/...eList02/chooseList02.uplc.budget.expected → ...ist-02/chooseList-02.uplc.budget.expected
diff --git a/...t/chooseList02/chooseList02.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected b/...t/chooseList02/chooseList02.uplc.expected → ...chooseList-02/chooseList-02.uplc.expected
diff --git a/...chooseList/chooseList03/chooseList03.uplc → ...ooseList/chooseList-03/chooseList-03.uplc b/...chooseList/chooseList03/chooseList03.uplc → ...ooseList/chooseList-03/chooseList-03.uplc
diff --git a/...eList03/chooseList03.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected b/...eList03/chooseList03.uplc.budget.expected → ...ist-03/chooseList-03.uplc.budget.expected
diff --git a/...t/chooseList03/chooseList03.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected b/...t/chooseList03/chooseList03.uplc.expected → ...chooseList-03/chooseList-03.uplc.expected
diff --git a/...chooseList/chooseList04/chooseList04.uplc → ...ooseList/chooseList-04/chooseList-04.uplc b/...chooseList/chooseList04/chooseList04.uplc → ...ooseList/chooseList-04/chooseList-04.uplc
diff --git a/...eList04/chooseList04.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected b/...eList04/chooseList04.uplc.budget.expected → ...ist-04/chooseList-04.uplc.budget.expected
diff --git a/...t/chooseList04/chooseList04.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected b/...t/chooseList04/chooseList04.uplc.expected → ...chooseList-04/chooseList-04.uplc.expected
diff --git a/...ng/consByteString01/consByteString01.uplc → .../consByteString-01/consByteString-01.uplc b/...ng/consByteString01/consByteString01.uplc → .../consByteString-01/consByteString-01.uplc
diff --git a/...g01/consByteString01.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected b/...g01/consByteString01.uplc.budget.expected → ...01/consByteString-01.uplc.budget.expected
diff --git a/...teString01/consByteString01.uplc.expected → ...String-01/consByteString-01.uplc.expected b/...teString01/consByteString01.uplc.expected → ...String-01/consByteString-01.uplc.expected
diff --git a/...ng/consByteString02/consByteString02.uplc → .../consByteString-02/consByteString-02.uplc b/...ng/consByteString02/consByteString02.uplc → .../consByteString-02/consByteString-02.uplc
diff --git a/...g02/consByteString02.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected b/...g02/consByteString02.uplc.budget.expected → ...02/consByteString-02.uplc.budget.expected
diff --git a/...teString02/consByteString02.uplc.expected → ...String-02/consByteString-02.uplc.expected b/...teString02/consByteString02.uplc.expected → ...String-02/consByteString-02.uplc.expected
diff --git a/...ng/consByteString03/consByteString03.uplc → .../consByteString-03/consByteString-03.uplc b/...ng/consByteString03/consByteString03.uplc → .../consByteString-03/consByteString-03.uplc
diff --git a/...g03/consByteString03.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected b/...g03/consByteString03.uplc.budget.expected → ...03/consByteString-03.uplc.budget.expected
diff --git a/...teString03/consByteString03.uplc.expected → ...String-03/consByteString-03.uplc.expected b/...teString03/consByteString03.uplc.expected → ...String-03/consByteString-03.uplc.expected
diff --git a/...eger/divideInteger01/divideInteger01.uplc → ...er/divideInteger-01/divideInteger-01.uplc b/...eger/divideInteger01/divideInteger01.uplc → ...er/divideInteger-01/divideInteger-01.uplc
diff --git a/...er01/divideInteger01.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected b/...er01/divideInteger01.uplc.budget.expected → ...-01/divideInteger-01.uplc.budget.expected
diff --git a/...deInteger01/divideInteger01.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected b/...deInteger01/divideInteger01.uplc.expected → ...Integer-01/divideInteger-01.uplc.expected
diff --git a/...qualsByteString01/equalsByteString01.uplc → ...alsByteString-01/equalsByteString-01.uplc b/...qualsByteString01/equalsByteString01.uplc → ...alsByteString-01/equalsByteString-01.uplc
diff --git a/...1/equalsByteString01.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected b/...1/equalsByteString01.uplc.budget.expected → .../equalsByteString-01.uplc.budget.expected
diff --git a/...String01/equalsByteString01.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected b/...String01/equalsByteString01.uplc.expected → ...ring-01/equalsByteString-01.uplc.expected
diff --git a/...qualsByteString02/equalsByteString02.uplc → ...alsByteString-02/equalsByteString-02.uplc b/...qualsByteString02/equalsByteString02.uplc → ...alsByteString-02/equalsByteString-02.uplc
diff --git a/...2/equalsByteString02.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected b/...2/equalsByteString02.uplc.budget.expected → .../equalsByteString-02.uplc.budget.expected
diff --git a/...String02/equalsByteString02.uplc.expected → ...ring-02/equalsByteString-02.uplc.expected b/...String02/equalsByteString02.uplc.expected → ...ring-02/equalsByteString-02.uplc.expected
diff --git a/...eger/equalsInteger01/equalsInteger01.uplc → ...er/equalsInteger-01/equalsInteger-01.uplc b/...eger/equalsInteger01/equalsInteger01.uplc → ...er/equalsInteger-01/equalsInteger-01.uplc
diff --git a/...er01/equalsInteger01.uplc.budget.expected → ...-01/equalsInteger-01.uplc.budget.expected b/...er01/equalsInteger01.uplc.budget.expected → ...-01/equalsInteger-01.uplc.budget.expected
diff --git a/...lsInteger01/equalsInteger01.uplc.expected → ...Integer-01/equalsInteger-01.uplc.expected b/...lsInteger01/equalsInteger01.uplc.expected → ...Integer-01/equalsInteger-01.uplc.expected
diff --git a/...eger/equalsInteger02/equalsInteger02.uplc → ...er/equalsInteger-02/equalsInteger-02.uplc b/...eger/equalsInteger02/equalsInteger02.uplc → ...er/equalsInteger-02/equalsInteger-02.uplc
diff --git a/...er02/equalsInteger02.uplc.budget.expected → ...-02/equalsInteger-02.uplc.budget.expected b/...er02/equalsInteger02.uplc.budget.expected → ...-02/equalsInteger-02.uplc.budget.expected
diff --git a/...lsInteger02/equalsInteger02.uplc.expected → ...Integer-02/equalsInteger-02.uplc.expected b/...lsInteger02/equalsInteger02.uplc.expected → ...Integer-02/equalsInteger-02.uplc.expected
diff --git a/...eger/equalsInteger03/equalsInteger03.uplc → ...er/equalsInteger-03/equalsInteger-03.uplc b/...eger/equalsInteger03/equalsInteger03.uplc → ...er/equalsInteger-03/equalsInteger-03.uplc
diff --git a/...er03/equalsInteger03.uplc.budget.expected → ...-03/equalsInteger-03.uplc.budget.expected b/...er03/equalsInteger03.uplc.budget.expected → ...-03/equalsInteger-03.uplc.budget.expected
diff --git a/...lsInteger03/equalsInteger03.uplc.expected → ...Integer-03/equalsInteger-03.uplc.expected b/...lsInteger03/equalsInteger03.uplc.expected → ...Integer-03/equalsInteger-03.uplc.expected
diff --git a/...String/equalsString01/equalsString01.uplc → ...ring/equalsString-01/equalsString-01.uplc b/...String/equalsString01/equalsString01.uplc → ...ring/equalsString-01/equalsString-01.uplc
diff --git a/...ing01/equalsString01.uplc.budget.expected → ...g-01/equalsString-01.uplc.budget.expected b/...ing01/equalsString01.uplc.budget.expected → ...g-01/equalsString-01.uplc.budget.expected
diff --git a/...ualsString01/equalsString01.uplc.expected → ...lsString-01/equalsString-01.uplc.expected b/...ualsString01/equalsString01.uplc.expected → ...lsString-01/equalsString-01.uplc.expected
diff --git a/...String/equalsString02/equalsString02.uplc → ...ring/equalsString-02/equalsString-02.uplc b/...String/equalsString02/equalsString02.uplc → ...ring/equalsString-02/equalsString-02.uplc
diff --git a/...ing02/equalsString02.uplc.budget.expected → ...g-02/equalsString-02.uplc.budget.expected b/...ing02/equalsString02.uplc.budget.expected → ...g-02/equalsString-02.uplc.budget.expected
diff --git a/...ualsString02/equalsString02.uplc.expected → ...lsString-02/equalsString-02.uplc.expected b/...ualsString02/equalsString02.uplc.expected → ...lsString-02/equalsString-02.uplc.expected
diff --git a/...-non-inverse01/exp-neg-non-inverse01.uplc → ...on-inverse-01/exp-neg-non-inverse-01.uplc b/...-non-inverse01/exp-neg-non-inverse01.uplc → ...on-inverse-01/exp-neg-non-inverse-01.uplc
diff --git a/...xp-neg-non-inverse01.uplc.budget.expected → ...p-neg-non-inverse-01.uplc.budget.expected b/...xp-neg-non-inverse01.uplc.budget.expected → ...p-neg-non-inverse-01.uplc.budget.expected
diff --git a/...rse01/exp-neg-non-inverse01.uplc.expected → ...e-01/exp-neg-non-inverse-01.uplc.expected b/...rse01/exp-neg-non-inverse01.uplc.expected → ...e-01/exp-neg-non-inverse-01.uplc.expected
diff --git a/...-non-inverse02/exp-neg-non-inverse02.uplc → ...on-inverse-02/exp-neg-non-inverse-02.uplc b/...-non-inverse02/exp-neg-non-inverse02.uplc → ...on-inverse-02/exp-neg-non-inverse-02.uplc
diff --git a/...xp-neg-non-inverse02.uplc.budget.expected → ...p-neg-non-inverse-02.uplc.budget.expected b/...xp-neg-non-inverse02.uplc.budget.expected → ...p-neg-non-inverse-02.uplc.budget.expected
diff --git a/...rse02/exp-neg-non-inverse02.uplc.expected → ...e-02/exp-neg-non-inverse-02.uplc.expected b/...rse02/exp-neg-non-inverse02.uplc.expected → ...e-02/exp-neg-non-inverse-02.uplc.expected
diff --git a/...tics/expModInteger/expMod01/expMod01.uplc → ...cs/expModInteger/expMod-01/expMod-01.uplc b/...tics/expModInteger/expMod01/expMod01.uplc → ...cs/expModInteger/expMod-01/expMod-01.uplc
diff --git a/...er/expMod01/expMod01.uplc.budget.expected → .../expMod-01/expMod-01.uplc.budget.expected b/...er/expMod01/expMod01.uplc.budget.expected → .../expMod-01/expMod-01.uplc.budget.expected
diff --git a/...odInteger/expMod01/expMod01.uplc.expected → ...Integer/expMod-01/expMod-01.uplc.expected b/...odInteger/expMod01/expMod01.uplc.expected → ...Integer/expMod-01/expMod-01.uplc.expected
diff --git a/...tics/expModInteger/expMod02/expMod02.uplc → ...cs/expModInteger/expMod-02/expMod-02.uplc b/...tics/expModInteger/expMod02/expMod02.uplc → ...cs/expModInteger/expMod-02/expMod-02.uplc
diff --git a/...er/expMod02/expMod02.uplc.budget.expected → .../expMod-02/expMod-02.uplc.budget.expected b/...er/expMod02/expMod02.uplc.budget.expected → .../expMod-02/expMod-02.uplc.budget.expected
diff --git a/...odInteger/expMod02/expMod02.uplc.expected → ...Integer/expMod-02/expMod-02.uplc.expected b/...odInteger/expMod02/expMod02.uplc.expected → ...Integer/expMod-02/expMod-02.uplc.expected
diff --git a/...tics/expModInteger/expMod03/expMod03.uplc → ...cs/expModInteger/expMod-03/expMod-03.uplc b/...tics/expModInteger/expMod03/expMod03.uplc → ...cs/expModInteger/expMod-03/expMod-03.uplc
diff --git a/...er/expMod03/expMod03.uplc.budget.expected → .../expMod-03/expMod-03.uplc.budget.expected b/...er/expMod03/expMod03.uplc.budget.expected → .../expMod-03/expMod-03.uplc.budget.expected
diff --git a/...odInteger/expMod03/expMod03.uplc.expected → ...Integer/expMod-03/expMod-03.uplc.expected b/...odInteger/expMod03/expMod03.uplc.expected → ...Integer/expMod-03/expMod-03.uplc.expected
diff --git a/...tics/expModInteger/expMod04/expMod04.uplc → ...cs/expModInteger/expMod-04/expMod-04.uplc b/...tics/expModInteger/expMod04/expMod04.uplc → ...cs/expModInteger/expMod-04/expMod-04.uplc
diff --git a/...er/expMod04/expMod04.uplc.budget.expected → .../expMod-04/expMod-04.uplc.budget.expected b/...er/expMod04/expMod04.uplc.budget.expected → .../expMod-04/expMod-04.uplc.budget.expected
diff --git a/...odInteger/expMod04/expMod04.uplc.expected → ...Integer/expMod-04/expMod-04.uplc.expected b/...odInteger/expMod04/expMod04.uplc.expected → ...Integer/expMod-04/expMod-04.uplc.expected
diff --git a/...tics/expModInteger/expMod05/expMod05.uplc → ...cs/expModInteger/expMod-05/expMod-05.uplc b/...tics/expModInteger/expMod05/expMod05.uplc → ...cs/expModInteger/expMod-05/expMod-05.uplc
diff --git a/...er/expMod05/expMod05.uplc.budget.expected → .../expMod-05/expMod-05.uplc.budget.expected b/...er/expMod05/expMod05.uplc.budget.expected → .../expMod-05/expMod-05.uplc.budget.expected
diff --git a/...odInteger/expMod05/expMod05.uplc.expected → ...Integer/expMod-05/expMod-05.uplc.expected b/...odInteger/expMod05/expMod05.uplc.expected → ...Integer/expMod-05/expMod-05.uplc.expected
diff --git a/...ntics/headList/headList01/headList01.uplc → ...ics/headList/headList-01/headList-01.uplc b/...ntics/headList/headList01/headList01.uplc → ...ics/headList/headList-01/headList-01.uplc
diff --git a/...eadList01/headList01.uplc.budget.expected → ...dList-01/headList-01.uplc.budget.expected b/...eadList01/headList01.uplc.budget.expected → ...dList-01/headList-01.uplc.budget.expected
diff --git a/...dList/headList01/headList01.uplc.expected → ...ist/headList-01/headList-01.uplc.expected b/...dList/headList01/headList01.uplc.expected → ...ist/headList-01/headList-01.uplc.expected
diff --git a/...ntics/headList/headList02/headList02.uplc → ...ics/headList/headList-02/headList-02.uplc b/...ntics/headList/headList02/headList02.uplc → ...ics/headList/headList-02/headList-02.uplc
diff --git a/...eadList02/headList02.uplc.budget.expected → ...dList-02/headList-02.uplc.budget.expected b/...eadList02/headList02.uplc.budget.expected → ...dList-02/headList-02.uplc.budget.expected
diff --git a/...dList/headList02/headList02.uplc.expected → ...ist/headList-02/headList-02.uplc.expected b/...dList/headList02/headList02.uplc.expected → ...ist/headList-02/headList-02.uplc.expected
diff --git a/...ntics/headList/headList03/headList03.uplc → ...ics/headList/headList-03/headList-03.uplc b/...ntics/headList/headList03/headList03.uplc → ...ics/headList/headList-03/headList-03.uplc
diff --git a/...eadList03/headList03.uplc.budget.expected → ...dList-03/headList-03.uplc.budget.expected b/...eadList03/headList03.uplc.budget.expected → ...dList-03/headList-03.uplc.budget.expected
diff --git a/...dList/headList03/headList03.uplc.expected → ...ist/headList-03/headList-03.uplc.expected b/...dList/headList03/headList03.uplc.expected → ...ist/headList-03/headList-03.uplc.expected
diff --git a/.../indexByteString01/indexByteString01.uplc → ...ndexByteString-01/indexByteString-01.uplc b/.../indexByteString01/indexByteString01.uplc → ...ndexByteString-01/indexByteString-01.uplc
diff --git a/...01/indexByteString01.uplc.budget.expected → ...1/indexByteString-01.uplc.budget.expected b/...01/indexByteString01.uplc.budget.expected → ...1/indexByteString-01.uplc.budget.expected
diff --git a/...eString01/indexByteString01.uplc.expected → ...tring-01/indexByteString-01.uplc.expected b/...eString01/indexByteString01.uplc.expected → ...tring-01/indexByteString-01.uplc.expected
diff --git a/...hanByteString00/lessThanByteString00.uplc → ...nByteString-00/lessThanByteString-00.uplc b/...hanByteString00/lessThanByteString00.uplc → ...nByteString-00/lessThanByteString-00.uplc
diff --git a/...lessThanByteString00.uplc.budget.expected → ...essThanByteString-00.uplc.budget.expected b/...lessThanByteString00.uplc.budget.expected → ...essThanByteString-00.uplc.budget.expected
diff --git a/...ring00/lessThanByteString00.uplc.expected → ...ng-00/lessThanByteString-00.uplc.expected b/...ring00/lessThanByteString00.uplc.expected → ...ng-00/lessThanByteString-00.uplc.expected
diff --git a/...hanByteString01/lessThanByteString01.uplc → ...nByteString-01/lessThanByteString-01.uplc b/...hanByteString01/lessThanByteString01.uplc → ...nByteString-01/lessThanByteString-01.uplc
diff --git a/...lessThanByteString01.uplc.budget.expected → ...essThanByteString-01.uplc.budget.expected b/...lessThanByteString01.uplc.budget.expected → ...essThanByteString-01.uplc.budget.expected
diff --git a/...ring01/lessThanByteString01.uplc.expected → ...ng-01/lessThanByteString-01.uplc.expected b/...ring01/lessThanByteString01.uplc.expected → ...ng-01/lessThanByteString-01.uplc.expected
diff --git a/...hanByteString02/lessThanByteString02.uplc → ...nByteString-02/lessThanByteString-02.uplc b/...hanByteString02/lessThanByteString02.uplc → ...nByteString-02/lessThanByteString-02.uplc
diff --git a/...lessThanByteString02.uplc.budget.expected → ...essThanByteString-02.uplc.budget.expected b/...lessThanByteString02.uplc.budget.expected → ...essThanByteString-02.uplc.budget.expected
diff --git a/...ring02/lessThanByteString02.uplc.expected → ...ng-02/lessThanByteString-02.uplc.expected b/...ring02/lessThanByteString02.uplc.expected → ...ng-02/lessThanByteString-02.uplc.expected
diff --git a/...hanByteString03/lessThanByteString03.uplc → ...nByteString-03/lessThanByteString-03.uplc b/...hanByteString03/lessThanByteString03.uplc → ...nByteString-03/lessThanByteString-03.uplc
diff --git a/...lessThanByteString03.uplc.budget.expected → ...essThanByteString-03.uplc.budget.expected b/...lessThanByteString03.uplc.budget.expected → ...essThanByteString-03.uplc.budget.expected
diff --git a/...ring03/lessThanByteString03.uplc.expected → ...ng-03/lessThanByteString-03.uplc.expected b/...ring03/lessThanByteString03.uplc.expected → ...ng-03/lessThanByteString-03.uplc.expected
diff --git a/...hanByteString04/lessThanByteString04.uplc → ...nByteString-04/lessThanByteString-04.uplc b/...hanByteString04/lessThanByteString04.uplc → ...nByteString-04/lessThanByteString-04.uplc
diff --git a/...lessThanByteString04.uplc.budget.expected → ...essThanByteString-04.uplc.budget.expected b/...lessThanByteString04.uplc.budget.expected → ...essThanByteString-04.uplc.budget.expected
diff --git a/...ring04/lessThanByteString04.uplc.expected → ...ng-04/lessThanByteString-04.uplc.expected b/...ring04/lessThanByteString04.uplc.expected → ...ng-04/lessThanByteString-04.uplc.expected
diff --git a/...hanByteString05/lessThanByteString05.uplc → ...nByteString-05/lessThanByteString-05.uplc b/...hanByteString05/lessThanByteString05.uplc → ...nByteString-05/lessThanByteString-05.uplc
diff --git a/...lessThanByteString05.uplc.budget.expected → ...essThanByteString-05.uplc.budget.expected b/...lessThanByteString05.uplc.budget.expected → ...essThanByteString-05.uplc.budget.expected
diff --git a/...ring05/lessThanByteString05.uplc.expected → ...ng-05/lessThanByteString-05.uplc.expected b/...ring05/lessThanByteString05.uplc.expected → ...ng-05/lessThanByteString-05.uplc.expected
diff --git a/...eString00/lessThanEqualsByteString00.uplc → ...tring-00/lessThanEqualsByteString-00.uplc b/...eString00/lessThanEqualsByteString00.uplc → ...tring-00/lessThanEqualsByteString-00.uplc
diff --git a/...anEqualsByteString00.uplc.budget.expected → ...nEqualsByteString-00.uplc.budget.expected b/...anEqualsByteString00.uplc.budget.expected → ...nEqualsByteString-00.uplc.budget.expected
diff --git a/.../lessThanEqualsByteString00.uplc.expected → ...lessThanEqualsByteString-00.uplc.expected b/.../lessThanEqualsByteString00.uplc.expected → ...lessThanEqualsByteString-00.uplc.expected
diff --git a/...eString01/lessThanEqualsByteString01.uplc → ...tring-01/lessThanEqualsByteString-01.uplc b/...eString01/lessThanEqualsByteString01.uplc → ...tring-01/lessThanEqualsByteString-01.uplc
diff --git a/...anEqualsByteString01.uplc.budget.expected → ...nEqualsByteString-01.uplc.budget.expected b/...anEqualsByteString01.uplc.budget.expected → ...nEqualsByteString-01.uplc.budget.expected
diff --git a/.../lessThanEqualsByteString01.uplc.expected → ...lessThanEqualsByteString-01.uplc.expected b/.../lessThanEqualsByteString01.uplc.expected → ...lessThanEqualsByteString-01.uplc.expected
diff --git a/...eString02/lessThanEqualsByteString02.uplc → ...tring-02/lessThanEqualsByteString-02.uplc b/...eString02/lessThanEqualsByteString02.uplc → ...tring-02/lessThanEqualsByteString-02.uplc
diff --git a/...anEqualsByteString02.uplc.budget.expected → ...nEqualsByteString-02.uplc.budget.expected b/...anEqualsByteString02.uplc.budget.expected → ...nEqualsByteString-02.uplc.budget.expected
diff --git a/.../lessThanEqualsByteString02.uplc.expected → ...lessThanEqualsByteString-02.uplc.expected b/.../lessThanEqualsByteString02.uplc.expected → ...lessThanEqualsByteString-02.uplc.expected
diff --git a/...eString03/lessThanEqualsByteString03.uplc → ...tring-03/lessThanEqualsByteString-03.uplc b/...eString03/lessThanEqualsByteString03.uplc → ...tring-03/lessThanEqualsByteString-03.uplc
diff --git a/...anEqualsByteString03.uplc.budget.expected → ...nEqualsByteString-03.uplc.budget.expected b/...anEqualsByteString03.uplc.budget.expected → ...nEqualsByteString-03.uplc.budget.expected
diff --git a/.../lessThanEqualsByteString03.uplc.expected → ...lessThanEqualsByteString-03.uplc.expected b/.../lessThanEqualsByteString03.uplc.expected → ...lessThanEqualsByteString-03.uplc.expected
diff --git a/...alsInteger01/lessThanEqualsInteger01.uplc → ...sInteger-01/lessThanEqualsInteger-01.uplc b/...alsInteger01/lessThanEqualsInteger01.uplc → ...sInteger-01/lessThanEqualsInteger-01.uplc
diff --git a/...sThanEqualsInteger01.uplc.budget.expected → ...ThanEqualsInteger-01.uplc.budget.expected b/...sThanEqualsInteger01.uplc.budget.expected → ...ThanEqualsInteger-01.uplc.budget.expected
diff --git a/...r01/lessThanEqualsInteger01.uplc.expected → ...01/lessThanEqualsInteger-01.uplc.expected b/...r01/lessThanEqualsInteger01.uplc.expected → ...01/lessThanEqualsInteger-01.uplc.expected
diff --git a/...alsInteger02/lessThanEqualsInteger02.uplc → ...sInteger-02/lessThanEqualsInteger-02.uplc b/...alsInteger02/lessThanEqualsInteger02.uplc → ...sInteger-02/lessThanEqualsInteger-02.uplc
diff --git a/...sThanEqualsInteger02.uplc.budget.expected → ...ThanEqualsInteger-02.uplc.budget.expected b/...sThanEqualsInteger02.uplc.budget.expected → ...ThanEqualsInteger-02.uplc.budget.expected
diff --git a/...r02/lessThanEqualsInteger02.uplc.expected → ...02/lessThanEqualsInteger-02.uplc.expected b/...r02/lessThanEqualsInteger02.uplc.expected → ...02/lessThanEqualsInteger-02.uplc.expected
diff --git a/...alsInteger03/lessThanEqualsInteger03.uplc → ...sInteger-03/lessThanEqualsInteger-03.uplc b/...alsInteger03/lessThanEqualsInteger03.uplc → ...sInteger-03/lessThanEqualsInteger-03.uplc
diff --git a/...sThanEqualsInteger03.uplc.budget.expected → ...ThanEqualsInteger-03.uplc.budget.expected b/...sThanEqualsInteger03.uplc.budget.expected → ...ThanEqualsInteger-03.uplc.budget.expected
diff --git a/...r03/lessThanEqualsInteger03.uplc.expected → ...03/lessThanEqualsInteger-03.uplc.expected b/...r03/lessThanEqualsInteger03.uplc.expected → ...03/lessThanEqualsInteger-03.uplc.expected
diff --git a/...alsInteger04/lessThanEqualsInteger04.uplc → ...sInteger-04/lessThanEqualsInteger-04.uplc b/...alsInteger04/lessThanEqualsInteger04.uplc → ...sInteger-04/lessThanEqualsInteger-04.uplc
diff --git a/...sThanEqualsInteger04.uplc.budget.expected → ...ThanEqualsInteger-04.uplc.budget.expected b/...sThanEqualsInteger04.uplc.budget.expected → ...ThanEqualsInteger-04.uplc.budget.expected
diff --git a/...r04/lessThanEqualsInteger04.uplc.expected → ...04/lessThanEqualsInteger-04.uplc.expected b/...r04/lessThanEqualsInteger04.uplc.expected → ...04/lessThanEqualsInteger-04.uplc.expected
diff --git a/...alsInteger05/lessThanEqualsInteger05.uplc → ...sInteger-05/lessThanEqualsInteger-05.uplc b/...alsInteger05/lessThanEqualsInteger05.uplc → ...sInteger-05/lessThanEqualsInteger-05.uplc
diff --git a/...sThanEqualsInteger05.uplc.budget.expected → ...ThanEqualsInteger-05.uplc.budget.expected b/...sThanEqualsInteger05.uplc.budget.expected → ...ThanEqualsInteger-05.uplc.budget.expected
diff --git a/...r05/lessThanEqualsInteger05.uplc.expected → ...05/lessThanEqualsInteger-05.uplc.expected b/...r05/lessThanEqualsInteger05.uplc.expected → ...05/lessThanEqualsInteger-05.uplc.expected
diff --git a/.../lessThanInteger01/lessThanInteger01.uplc → ...essThanInteger-01/lessThanInteger-01.uplc b/.../lessThanInteger01/lessThanInteger01.uplc → ...essThanInteger-01/lessThanInteger-01.uplc
diff --git a/...01/lessThanInteger01.uplc.budget.expected → ...1/lessThanInteger-01.uplc.budget.expected b/...01/lessThanInteger01.uplc.budget.expected → ...1/lessThanInteger-01.uplc.budget.expected
diff --git a/...Integer01/lessThanInteger01.uplc.expected → ...teger-01/lessThanInteger-01.uplc.expected b/...Integer01/lessThanInteger01.uplc.expected → ...teger-01/lessThanInteger-01.uplc.expected
diff --git a/.../lessThanInteger02/lessThanInteger02.uplc → ...essThanInteger-02/lessThanInteger-02.uplc b/.../lessThanInteger02/lessThanInteger02.uplc → ...essThanInteger-02/lessThanInteger-02.uplc
diff --git a/...02/lessThanInteger02.uplc.budget.expected → ...2/lessThanInteger-02.uplc.budget.expected b/...02/lessThanInteger02.uplc.budget.expected → ...2/lessThanInteger-02.uplc.budget.expected
diff --git a/...Integer02/lessThanInteger02.uplc.expected → ...teger-02/lessThanInteger-02.uplc.expected b/...Integer02/lessThanInteger02.uplc.expected → ...teger-02/lessThanInteger-02.uplc.expected
diff --git a/.../lessThanInteger03/lessThanInteger03.uplc → ...essThanInteger-03/lessThanInteger-03.uplc b/.../lessThanInteger03/lessThanInteger03.uplc → ...essThanInteger-03/lessThanInteger-03.uplc
diff --git a/...03/lessThanInteger03.uplc.budget.expected → ...3/lessThanInteger-03.uplc.budget.expected b/...03/lessThanInteger03.uplc.budget.expected → ...3/lessThanInteger-03.uplc.budget.expected
diff --git a/...Integer03/lessThanInteger03.uplc.expected → ...teger-03/lessThanInteger-03.uplc.expected b/...Integer03/lessThanInteger03.uplc.expected → ...teger-03/lessThanInteger-03.uplc.expected
diff --git a/.../lessThanInteger04/lessThanInteger04.uplc → ...essThanInteger-04/lessThanInteger-04.uplc b/.../lessThanInteger04/lessThanInteger04.uplc → ...essThanInteger-04/lessThanInteger-04.uplc
diff --git a/...04/lessThanInteger04.uplc.budget.expected → ...4/lessThanInteger-04.uplc.budget.expected b/...04/lessThanInteger04.uplc.budget.expected → ...4/lessThanInteger-04.uplc.budget.expected
diff --git a/...Integer04/lessThanInteger04.uplc.expected → ...teger-04/lessThanInteger-04.uplc.expected b/...Integer04/lessThanInteger04.uplc.expected → ...teger-04/lessThanInteger-04.uplc.expected
diff --git a/.../lessThanInteger05/lessThanInteger05.uplc → ...essThanInteger-05/lessThanInteger-05.uplc b/.../lessThanInteger05/lessThanInteger05.uplc → ...essThanInteger-05/lessThanInteger-05.uplc
diff --git a/...05/lessThanInteger05.uplc.budget.expected → ...5/lessThanInteger-05.uplc.budget.expected b/...05/lessThanInteger05.uplc.budget.expected → ...5/lessThanInteger-05.uplc.budget.expected
diff --git a/...Integer05/lessThanInteger05.uplc.expected → ...teger-05/lessThanInteger-05.uplc.expected b/...Integer05/lessThanInteger05.uplc.expected → ...teger-05/lessThanInteger-05.uplc.expected
diff --git a/...n/semantics/mkCons/mkCons01/mkCons01.uplc → ...semantics/mkCons/mkCons-01/mkCons-01.uplc b/...n/semantics/mkCons/mkCons01/mkCons01.uplc → ...semantics/mkCons/mkCons-01/mkCons-01.uplc
diff --git a/...ns/mkCons01/mkCons01.uplc.budget.expected → .../mkCons-01/mkCons-01.uplc.budget.expected b/...ns/mkCons01/mkCons01.uplc.budget.expected → .../mkCons-01/mkCons-01.uplc.budget.expected
diff --git a/...cs/mkCons/mkCons01/mkCons01.uplc.expected → .../mkCons/mkCons-01/mkCons-01.uplc.expected b/...cs/mkCons/mkCons01/mkCons01.uplc.expected → .../mkCons/mkCons-01/mkCons-01.uplc.expected
diff --git a/...n/semantics/mkCons/mkCons02/mkCons02.uplc → ...semantics/mkCons/mkCons-02/mkCons-02.uplc b/...n/semantics/mkCons/mkCons02/mkCons02.uplc → ...semantics/mkCons/mkCons-02/mkCons-02.uplc
diff --git a/...ns/mkCons02/mkCons02.uplc.budget.expected → .../mkCons-02/mkCons-02.uplc.budget.expected b/...ns/mkCons02/mkCons02.uplc.budget.expected → .../mkCons-02/mkCons-02.uplc.budget.expected
diff --git a/...cs/mkCons/mkCons02/mkCons02.uplc.expected → .../mkCons/mkCons-02/mkCons-02.uplc.expected b/...cs/mkCons/mkCons02/mkCons02.uplc.expected → .../mkCons/mkCons-02/mkCons-02.uplc.expected
diff --git a/...modInteger/modInteger01/modInteger01.uplc → ...dInteger/modInteger-01/modInteger-01.uplc b/...modInteger/modInteger01/modInteger01.uplc → ...dInteger/modInteger-01/modInteger-01.uplc
diff --git a/...teger01/modInteger01.uplc.budget.expected → ...ger-01/modInteger-01.uplc.budget.expected b/...teger01/modInteger01.uplc.budget.expected → ...ger-01/modInteger-01.uplc.budget.expected
diff --git a/...r/modInteger01/modInteger01.uplc.expected → ...modInteger-01/modInteger-01.uplc.expected b/...r/modInteger01/modInteger01.uplc.expected → ...modInteger-01/modInteger-01.uplc.expected
diff --git a/.../multiplyInteger01/multiplyInteger01.uplc → ...ultiplyInteger-01/multiplyInteger-01.uplc b/.../multiplyInteger01/multiplyInteger01.uplc → ...ultiplyInteger-01/multiplyInteger-01.uplc
diff --git a/...01/multiplyInteger01.uplc.budget.expected → ...1/multiplyInteger-01.uplc.budget.expected b/...01/multiplyInteger01.uplc.budget.expected → ...1/multiplyInteger-01.uplc.budget.expected
diff --git a/...Integer01/multiplyInteger01.uplc.expected → ...teger-01/multiplyInteger-01.uplc.expected b/...Integer01/multiplyInteger01.uplc.expected → ...teger-01/multiplyInteger-01.uplc.expected
diff --git a/.../multiplyInteger02/multiplyInteger02.uplc → ...ultiplyInteger-02/multiplyInteger-02.uplc b/.../multiplyInteger02/multiplyInteger02.uplc → ...ultiplyInteger-02/multiplyInteger-02.uplc
diff --git a/...02/multiplyInteger02.uplc.budget.expected → ...2/multiplyInteger-02.uplc.budget.expected b/...02/multiplyInteger02.uplc.budget.expected → ...2/multiplyInteger-02.uplc.budget.expected
diff --git a/...Integer02/multiplyInteger02.uplc.expected → ...teger-02/multiplyInteger-02.uplc.expected b/...Integer02/multiplyInteger02.uplc.expected → ...teger-02/multiplyInteger-02.uplc.expected
diff --git a/.../multiplyInteger03/multiplyInteger03.uplc → ...ultiplyInteger-03/multiplyInteger-03.uplc b/.../multiplyInteger03/multiplyInteger03.uplc → ...ultiplyInteger-03/multiplyInteger-03.uplc
diff --git a/...03/multiplyInteger03.uplc.budget.expected → ...3/multiplyInteger-03.uplc.budget.expected b/...03/multiplyInteger03.uplc.budget.expected → ...3/multiplyInteger-03.uplc.budget.expected
diff --git a/...Integer03/multiplyInteger03.uplc.expected → ...teger-03/multiplyInteger-03.uplc.expected b/...Integer03/multiplyInteger03.uplc.expected → ...teger-03/multiplyInteger-03.uplc.expected
diff --git a/.../multiplyInteger04/multiplyInteger04.uplc → ...ultiplyInteger-04/multiplyInteger-04.uplc b/.../multiplyInteger04/multiplyInteger04.uplc → ...ultiplyInteger-04/multiplyInteger-04.uplc
diff --git a/...04/multiplyInteger04.uplc.budget.expected → ...4/multiplyInteger-04.uplc.budget.expected b/...04/multiplyInteger04.uplc.budget.expected → ...4/multiplyInteger-04.uplc.budget.expected
diff --git a/...Integer04/multiplyInteger04.uplc.expected → ...teger-04/multiplyInteger-04.uplc.expected b/...Integer04/multiplyInteger04.uplc.expected → ...teger-04/multiplyInteger-04.uplc.expected
diff --git a/.../multiplyInteger05/multiplyInteger05.uplc → ...ultiplyInteger-05/multiplyInteger-05.uplc b/.../multiplyInteger05/multiplyInteger05.uplc → ...ultiplyInteger-05/multiplyInteger-05.uplc
diff --git a/...05/multiplyInteger05.uplc.budget.expected → ...5/multiplyInteger-05.uplc.budget.expected b/...05/multiplyInteger05.uplc.budget.expected → ...5/multiplyInteger-05.uplc.budget.expected
diff --git a/...Integer05/multiplyInteger05.uplc.expected → ...teger-05/multiplyInteger-05.uplc.expected b/...Integer05/multiplyInteger05.uplc.expected → ...teger-05/multiplyInteger-05.uplc.expected
diff --git a/.../multiplyInteger06/multiplyInteger06.uplc → ...ultiplyInteger-06/multiplyInteger-06.uplc b/.../multiplyInteger06/multiplyInteger06.uplc → ...ultiplyInteger-06/multiplyInteger-06.uplc
diff --git a/...06/multiplyInteger06.uplc.budget.expected → ...6/multiplyInteger-06.uplc.budget.expected b/...06/multiplyInteger06.uplc.budget.expected → ...6/multiplyInteger-06.uplc.budget.expected
diff --git a/...Integer06/multiplyInteger06.uplc.expected → ...teger-06/multiplyInteger-06.uplc.expected b/...Integer06/multiplyInteger06.uplc.expected → ...teger-06/multiplyInteger-06.uplc.expected
diff --git a/.../quotientInteger01/quotientInteger01.uplc → ...uotientInteger-01/quotientInteger-01.uplc b/.../quotientInteger01/quotientInteger01.uplc → ...uotientInteger-01/quotientInteger-01.uplc
diff --git a/...01/quotientInteger01.uplc.budget.expected → ...1/quotientInteger-01.uplc.budget.expected b/...01/quotientInteger01.uplc.budget.expected → ...1/quotientInteger-01.uplc.budget.expected
diff --git a/...Integer01/quotientInteger01.uplc.expected → ...teger-01/quotientInteger-01.uplc.expected b/...Integer01/quotientInteger01.uplc.expected → ...teger-01/quotientInteger-01.uplc.expected
diff --git a/...emainderInteger01/remainderInteger01.uplc → ...ainderInteger-01/remainderInteger-01.uplc b/...emainderInteger01/remainderInteger01.uplc → ...ainderInteger-01/remainderInteger-01.uplc
diff --git a/...1/remainderInteger01.uplc.budget.expected → .../remainderInteger-01.uplc.budget.expected b/...1/remainderInteger01.uplc.budget.expected → .../remainderInteger-01.uplc.budget.expected
diff --git a/...nteger01/remainderInteger01.uplc.expected → ...eger-01/remainderInteger-01.uplc.expected b/...nteger01/remainderInteger01.uplc.expected → ...eger-01/remainderInteger-01.uplc.expected
diff --git a/.../sliceByteString01/sliceByteString01.uplc → ...liceByteString-01/sliceByteString-01.uplc b/.../sliceByteString01/sliceByteString01.uplc → ...liceByteString-01/sliceByteString-01.uplc
diff --git a/...01/sliceByteString01.uplc.budget.expected → ...1/sliceByteString-01.uplc.budget.expected b/...01/sliceByteString01.uplc.budget.expected → ...1/sliceByteString-01.uplc.budget.expected
diff --git a/...eString01/sliceByteString01.uplc.expected → ...tring-01/sliceByteString-01.uplc.expected b/...eString01/sliceByteString01.uplc.expected → ...tring-01/sliceByteString-01.uplc.expected
diff --git a/.../sliceByteString02/sliceByteString02.uplc → ...liceByteString-02/sliceByteString-02.uplc b/.../sliceByteString02/sliceByteString02.uplc → ...liceByteString-02/sliceByteString-02.uplc
diff --git a/...02/sliceByteString02.uplc.budget.expected → ...2/sliceByteString-02.uplc.budget.expected b/...02/sliceByteString02.uplc.budget.expected → ...2/sliceByteString-02.uplc.budget.expected
diff --git a/...eString02/sliceByteString02.uplc.expected → ...tring-02/sliceByteString-02.uplc.expected b/...eString02/sliceByteString02.uplc.expected → ...tring-02/sliceByteString-02.uplc.expected
diff --git a/.../sliceByteString03/sliceByteString03.uplc → ...liceByteString-03/sliceByteString-03.uplc b/.../sliceByteString03/sliceByteString03.uplc → ...liceByteString-03/sliceByteString-03.uplc
diff --git a/...03/sliceByteString03.uplc.budget.expected → ...3/sliceByteString-03.uplc.budget.expected b/...03/sliceByteString03.uplc.budget.expected → ...3/sliceByteString-03.uplc.budget.expected
diff --git a/...eString03/sliceByteString03.uplc.expected → ...tring-03/sliceByteString-03.uplc.expected b/...eString03/sliceByteString03.uplc.expected → ...tring-03/sliceByteString-03.uplc.expected
diff --git a/.../sliceByteString04/sliceByteString04.uplc → ...liceByteString-04/sliceByteString-04.uplc b/.../sliceByteString04/sliceByteString04.uplc → ...liceByteString-04/sliceByteString-04.uplc
diff --git a/...04/sliceByteString04.uplc.budget.expected → ...4/sliceByteString-04.uplc.budget.expected b/...04/sliceByteString04.uplc.budget.expected → ...4/sliceByteString-04.uplc.budget.expected
diff --git a/...eString04/sliceByteString04.uplc.expected → ...tring-04/sliceByteString-04.uplc.expected b/...eString04/sliceByteString04.uplc.expected → ...tring-04/sliceByteString-04.uplc.expected
diff --git a/.../sliceByteString05/sliceByteString05.uplc → ...liceByteString-05/sliceByteString-05.uplc b/.../sliceByteString05/sliceByteString05.uplc → ...liceByteString-05/sliceByteString-05.uplc
diff --git a/...05/sliceByteString05.uplc.budget.expected → ...5/sliceByteString-05.uplc.budget.expected b/...05/sliceByteString05.uplc.budget.expected → ...5/sliceByteString-05.uplc.budget.expected
diff --git a/...eString05/sliceByteString05.uplc.expected → ...tring-05/sliceByteString-05.uplc.expected b/...eString05/sliceByteString05.uplc.expected → ...tring-05/sliceByteString-05.uplc.expected
diff --git a/.../subtractInteger01/subtractInteger01.uplc → ...ubtractInteger-01/subtractInteger-01.uplc b/.../subtractInteger01/subtractInteger01.uplc → ...ubtractInteger-01/subtractInteger-01.uplc
diff --git a/...01/subtractInteger01.uplc.budget.expected → ...1/subtractInteger-01.uplc.budget.expected b/...01/subtractInteger01.uplc.budget.expected → ...1/subtractInteger-01.uplc.budget.expected
diff --git a/...Integer01/subtractInteger01.uplc.expected → ...teger-01/subtractInteger-01.uplc.expected b/...Integer01/subtractInteger01.uplc.expected → ...teger-01/subtractInteger-01.uplc.expected
diff --git a/.../subtractInteger02/subtractInteger02.uplc → ...ubtractInteger-02/subtractInteger-02.uplc b/.../subtractInteger02/subtractInteger02.uplc → ...ubtractInteger-02/subtractInteger-02.uplc
diff --git a/...02/subtractInteger02.uplc.budget.expected → ...2/subtractInteger-02.uplc.budget.expected b/...02/subtractInteger02.uplc.budget.expected → ...2/subtractInteger-02.uplc.budget.expected
diff --git a/...Integer02/subtractInteger02.uplc.expected → ...teger-02/subtractInteger-02.uplc.expected b/...Integer02/subtractInteger02.uplc.expected → ...teger-02/subtractInteger-02.uplc.expected
diff --git a/.../subtractInteger03/subtractInteger03.uplc → ...ubtractInteger-03/subtractInteger-03.uplc b/.../subtractInteger03/subtractInteger03.uplc → ...ubtractInteger-03/subtractInteger-03.uplc
diff --git a/...03/subtractInteger03.uplc.budget.expected → ...3/subtractInteger-03.uplc.budget.expected b/...03/subtractInteger03.uplc.budget.expected → ...3/subtractInteger-03.uplc.budget.expected
diff --git a/...Integer03/subtractInteger03.uplc.expected → ...teger-03/subtractInteger-03.uplc.expected b/...Integer03/subtractInteger03.uplc.expected → ...teger-03/subtractInteger-03.uplc.expected
diff --git a/.../subtractInteger04/subtractInteger04.uplc → ...ubtractInteger-04/subtractInteger-04.uplc b/.../subtractInteger04/subtractInteger04.uplc → ...ubtractInteger-04/subtractInteger-04.uplc
diff --git a/...04/subtractInteger04.uplc.budget.expected → ...4/subtractInteger-04.uplc.budget.expected b/...04/subtractInteger04.uplc.budget.expected → ...4/subtractInteger-04.uplc.budget.expected
diff --git a/...Integer04/subtractInteger04.uplc.expected → ...teger-04/subtractInteger-04.uplc.expected b/...Integer04/subtractInteger04.uplc.expected → ...teger-04/subtractInteger-04.uplc.expected
diff --git a/...ntics/tailList/tailList01/tailList01.uplc → ...ics/tailList/tailList-01/tailList-01.uplc b/...ntics/tailList/tailList01/tailList01.uplc → ...ics/tailList/tailList-01/tailList-01.uplc
diff --git a/...ailList01/tailList01.uplc.budget.expected → ...lList-01/tailList-01.uplc.budget.expected b/...ailList01/tailList01.uplc.budget.expected → ...lList-01/tailList-01.uplc.budget.expected
diff --git a/...lList/tailList01/tailList01.uplc.expected → ...ist/tailList-01/tailList-01.uplc.expected b/...lList/tailList01/tailList01.uplc.expected → ...ist/tailList-01/tailList-01.uplc.expected
diff --git a/...emantics/unBData/unBData01/unBData01.uplc → ...antics/unBData/unBData-01/unBData-01.uplc b/...emantics/unBData/unBData01/unBData01.uplc → ...antics/unBData/unBData-01/unBData-01.uplc
diff --git a/.../unBData01/unBData01.uplc.budget.expected → ...nBData-01/unBData-01.uplc.budget.expected b/.../unBData01/unBData01.uplc.budget.expected → ...nBData-01/unBData-01.uplc.budget.expected
diff --git a/...unBData/unBData01/unBData01.uplc.expected → ...BData/unBData-01/unBData-01.uplc.expected b/...unBData/unBData01/unBData01.uplc.expected → ...BData/unBData-01/unBData-01.uplc.expected
diff --git a/...trData/unConstrData01/unConstrData01.uplc → ...Data/unConstrData-01/unConstrData-01.uplc b/...trData/unConstrData01/unConstrData01.uplc → ...Data/unConstrData-01/unConstrData-01.uplc
diff --git a/...ata01/unConstrData01.uplc.budget.expected → ...a-01/unConstrData-01.uplc.budget.expected b/...ata01/unConstrData01.uplc.budget.expected → ...a-01/unConstrData-01.uplc.budget.expected
diff --git a/...ConstrData01/unConstrData01.uplc.expected → ...nstrData-01/unConstrData-01.uplc.expected b/...ConstrData01/unConstrData01.uplc.expected → ...nstrData-01/unConstrData-01.uplc.expected
diff --git a/...emantics/unIData/unIData01/unIData01.uplc → ...antics/unIData/unIData-01/unIData-01.uplc b/...emantics/unIData/unIData01/unIData01.uplc → ...antics/unIData/unIData-01/unIData-01.uplc
diff --git a/.../unIData01/unIData01.uplc.budget.expected → ...nIData-01/unIData-01.uplc.budget.expected b/.../unIData01/unIData01.uplc.budget.expected → ...nIData-01/unIData-01.uplc.budget.expected
diff --git a/...unIData/unIData01/unIData01.uplc.expected → ...IData/unIData-01/unIData-01.uplc.expected b/...unIData/unIData01/unIData01.uplc.expected → ...IData/unIData-01/unIData-01.uplc.expected
diff --git a/...unListData/unListData01/unListData01.uplc → ...ListData/unListData-01/unListData-01.uplc b/...unListData/unListData01/unListData01.uplc → ...ListData/unListData-01/unListData-01.uplc
diff --git a/...tData01/unListData01.uplc.budget.expected → ...ata-01/unListData-01.uplc.budget.expected b/...tData01/unListData01.uplc.budget.expected → ...ata-01/unListData-01.uplc.budget.expected
diff --git a/...a/unListData01/unListData01.uplc.expected → ...unListData-01/unListData-01.uplc.expected b/...a/unListData01/unListData01.uplc.expected → ...unListData-01/unListData-01.uplc.expected
diff --git a/...cs/unMapData/unMapData01/unMapData01.uplc → .../unMapData/unMapData-01/unMapData-01.uplc b/...cs/unMapData/unMapData01/unMapData01.uplc → .../unMapData/unMapData-01/unMapData-01.uplc
diff --git a/...apData01/unMapData01.uplc.budget.expected → ...Data-01/unMapData-01.uplc.budget.expected b/...apData01/unMapData01.uplc.budget.expected → ...Data-01/unMapData-01.uplc.budget.expected
diff --git a/...ata/unMapData01/unMapData01.uplc.expected → ...a/unMapData-01/unMapData-01.uplc.expected b/...ata/unMapData01/unMapData01.uplc.expected → ...a/unMapData-01/unMapData-01.uplc.expected
diff --git a/...verifyEd25519Signature/test01/test01.uplc → ...rifyEd25519Signature/test-01/test-01.uplc b/...verifyEd25519Signature/test01/test01.uplc → ...rifyEd25519Signature/test-01/test-01.uplc
diff --git a/...nature/test01/test01.uplc.budget.expected → ...ture/test-01/test-01.uplc.budget.expected b/...nature/test01/test01.uplc.budget.expected → ...ture/test-01/test-01.uplc.budget.expected
diff --git a/...5519Signature/test01/test01.uplc.expected → ...19Signature/test-01/test-01.uplc.expected b/...5519Signature/test01/test01.uplc.expected → ...19Signature/test-01/test-01.uplc.expected
diff --git a/...verifyEd25519Signature/test02/test02.uplc → ...rifyEd25519Signature/test-02/test-02.uplc b/...verifyEd25519Signature/test02/test02.uplc → ...rifyEd25519Signature/test-02/test-02.uplc
diff --git a/...nature/test02/test02.uplc.budget.expected → ...ture/test-02/test-02.uplc.budget.expected b/...nature/test02/test02.uplc.budget.expected → ...ture/test-02/test-02.uplc.budget.expected
diff --git a/...5519Signature/test02/test02.uplc.expected → ...19Signature/test-02/test-02.uplc.expected b/...5519Signature/test02/test02.uplc.expected → ...19Signature/test-02/test-02.uplc.expected
diff --git a/...verifyEd25519Signature/test03/test03.uplc → ...rifyEd25519Signature/test-03/test-03.uplc b/...verifyEd25519Signature/test03/test03.uplc → ...rifyEd25519Signature/test-03/test-03.uplc
diff --git a/...nature/test03/test03.uplc.budget.expected → ...ture/test-03/test-03.uplc.budget.expected b/...nature/test03/test03.uplc.budget.expected → ...ture/test-03/test-03.uplc.budget.expected
diff --git a/...5519Signature/test03/test03.uplc.expected → ...19Signature/test-03/test-03.uplc.expected b/...5519Signature/test03/test03.uplc.expected → ...19Signature/test-03/test-03.uplc.expected
diff --git a/...verifyEd25519Signature/test04/test04.uplc → ...rifyEd25519Signature/test-04/test-04.uplc b/...verifyEd25519Signature/test04/test04.uplc → ...rifyEd25519Signature/test-04/test-04.uplc
diff --git a/...nature/test04/test04.uplc.budget.expected → ...ture/test-04/test-04.uplc.budget.expected b/...nature/test04/test04.uplc.budget.expected → ...ture/test-04/test-04.uplc.budget.expected
diff --git a/...5519Signature/test04/test04.uplc.expected → ...19Signature/test-04/test-04.uplc.expected b/...5519Signature/test04/test04.uplc.expected → ...19Signature/test-04/test-04.uplc.expected
diff --git a/...verifyEd25519Signature/test05/test05.uplc → ...rifyEd25519Signature/test-05/test-05.uplc b/...verifyEd25519Signature/test05/test05.uplc → ...rifyEd25519Signature/test-05/test-05.uplc
diff --git a/...nature/test05/test05.uplc.budget.expected → ...ture/test-05/test-05.uplc.budget.expected b/...nature/test05/test05.uplc.budget.expected → ...ture/test-05/test-05.uplc.budget.expected
diff --git a/...5519Signature/test05/test05.uplc.expected → ...19Signature/test-05/test-05.uplc.expected b/...5519Signature/test05/test05.uplc.expected → ...19Signature/test-05/test-05.uplc.expected
diff --git a/...verifyEd25519Signature/test06/test06.uplc → ...rifyEd25519Signature/test-06/test-06.uplc b/...verifyEd25519Signature/test06/test06.uplc → ...rifyEd25519Signature/test-06/test-06.uplc
diff --git a/...nature/test06/test06.uplc.budget.expected → ...ture/test-06/test-06.uplc.budget.expected b/...nature/test06/test06.uplc.budget.expected → ...ture/test-06/test-06.uplc.budget.expected
diff --git a/...5519Signature/test06/test06.uplc.expected → ...19Signature/test-06/test-06.uplc.expected b/...5519Signature/test06/test06.uplc.expected → ...19Signature/test-06/test-06.uplc.expected
diff --git a/...verifyEd25519Signature/test07/test07.uplc → ...rifyEd25519Signature/test-07/test-07.uplc b/...verifyEd25519Signature/test07/test07.uplc → ...rifyEd25519Signature/test-07/test-07.uplc
diff --git a/...nature/test07/test07.uplc.budget.expected → ...ture/test-07/test-07.uplc.budget.expected b/...nature/test07/test07.uplc.budget.expected → ...ture/test-07/test-07.uplc.budget.expected
diff --git a/...5519Signature/test07/test07.uplc.expected → ...19Signature/test-07/test-07.uplc.expected b/...5519Signature/test07/test07.uplc.expected → ...19Signature/test-07/test-07.uplc.expected