- [ "list ( โ ) ( ? โจฎ{?} ? ) ( |?| )" "list2 ( โ ) ( {?,?} โจฎ{?,?} ? ) ( |?| )" * ]
- [ "bool ( โป ) ( โ )" "arith ( ?^? ) ( โ? ) ( โ? ) ( ? โจ ? ) ( ? โง ? )" * ]
- [ "logic ( โฅ ) ( โค )" "relations ( ? โ ? )" "functions" "star" "ltc" * ]
+ [ "list ( โบ{?} ) ( ? โจฎ{?} ? )" "list_length ( |?| )" * ]
+ [ "bool ( โป ) ( โ )" "arith ( ?^? ) ( โ? ) ( โ? ) ( ? โจ ? ) ( ? โง ? )" "arith_2a" "arith_2b" * ]
+ [ "ltc" "ltc_ctc" * ]
+ [ "logic ( โฅ ) ( โค )" "relations ( ? โ ? )" "functions" "exteq ( ? โ{?,?} ? )" "star" * ]