diff --git a/compiler/surface/lexer_pl.cppo.ml b/compiler/surface/lexer_pl.cppo.ml
index ce372b96..d5f3aa6a 100644
--- a/compiler/surface/lexer_pl.cppo.ml
+++ b/compiler/surface/lexer_pl.cppo.ml
@@ -20,18 +20,21 @@
 
 #define MS_SCOPE "zakres"
 #define MS_CONSEQUENCE "konsekwencja"
-#define MS_DATA "data"
-#define MS_DEPENDS "zalezy od"
-#define MR_DEPENDS "zalezy", space_plus, "od"
+#define MS_DATA "dane"
+#define MS_DEPENDS "zależy od"
+#define MR_DEPENDS "zale", 0x017C, "y", space_plus, "od"
 #define MS_DECLARATION "deklaracja"
 #define MS_CONTEXT "kontekst"
-#define MS_DECREASING "malejacy"
-#define MS_INCREASING "rosnacy"
+#define MS_DECREASING "malejący"
+#define MR_DECREASING "malej", 0x0105, ",cy"
+#define MS_INCREASING "rosnący"
+#define MR_INCREASING "rosn", 0x0105, "cy"
 #define MS_OF "z"
 #define MS_COLLECTION "kolekcja"
 #define MS_CONTAINS "zawiera"
 #define MS_ENUM "enumeracja"
-#define MS_INTEGER "calkowita"
+#define MS_INTEGER "całkowita"
+#define MR_INTEGER "ca", 0x0142, "kowita"
 #define MS_MONEY "pieniądze"
 #define MR_MONEY "pieni", 0x0105, "dze"
 #define MS_TEXT "tekst"
@@ -42,7 +45,8 @@
 #define MR_DURATION "czas", space_plus, "trwania"
 #define MS_BOOLEAN "zerojedynkowy"
 #define MS_SUM "suma"
-#define MS_FILLED "spelnione"
+#define MS_FILLED "spełnione"
+#define MR_FILLED "spe", 0x0142, "nione"
 #define MS_DEFINITION "definicja"
 #define MS_STATE "stan"
 #define MS_LABEL "etykieta"
@@ -55,45 +59,50 @@
 #define MR_WITH "ze", space_plus, "wzorem"
 #define MS_UNDER_CONDITION "pod warunkiem"
 #define MR_UNDER_CONDITION "pod", space_plus, "warunkiem"
-#define MS_IF "jezeli"
+#define MS_IF "jeżeli"
+#define MR_IF "je", 0x017C, "eli"
 #define MS_THEN "wtedy"
 #define MS_ELSE "inaczej"
 #define MS_CONDITION "warunek"
 #define MS_CONTENT "typu"
 #define MS_STRUCT "struktura"
 #define MS_ASSERTION "asercja"
-#define MS_VARIES "rozna"
+#define MS_VARIES "różna"
+#define MR_VARIES "r", 0xf3, 0x017C, "na"
 #define MS_WITH_V "wraz z"
 #define MR_WITH_V "wraz", space_plus, "z"
 #define MS_FOR "dla"
 #define MS_ALL "wszystkie"
 #define MS_WE_HAVE "mamy"
-#define MS_FIXED "staloprzecinkowa"
+#define MS_FIXED "stałoprzecinkowa"
+#define MR_FIXED "sta", 0x0142, "oprzecinkowa"
 #define MS_BY "przez"
 #define MS_RULE "zasada"
 #define MS_LET "niech"
 #define MS_EXISTS "istnieje"
-(* "in" or "w" ? *)
-#define MS_IN "in"
+#define MS_IN "w"
 #define MS_AMONG "wśród"
-#define MR_AMONG "w", 0x15B,"r", 0xf3,"d"
-#define MS_SUCH "takie ze"
-#define MR_SUCH "takie", space_plus, "ze"
+#define MR_AMONG "w", 0x15B, "r", 0xf3, "d"
+#define MS_SUCH "takie że"
+#define MR_SUCH "takie", space_plus, 0x017C, "e"
 #define MS_THAT "to"
 #define MS_AND "i"
 #define MS_OR "lub"
-#define MS_XOR "xor"
+#define MS_XOR "albo"
 #define MS_NOT "nie"
-#define MS_MAXIMUM "maximum"
+#define MS_MAXIMUM "maksimum"
 #define MS_MINIMUM "minimum"
 #define MS_IS "jest"
 #define MS_EMPTY "pusty"
 #define MS_CARDINAL "liczba"
 #define MS_YEAR "rok"
-#define MS_MONTH "miesiac"
-#define MS_DAY "dzien"
+#define MS_MONTH "miesiąc"
+#define MR_MONTH "miesi", 0x0105, "c"
+#define MS_DAY "dzień"
+#define MR_DAY "dzie", 0x0144
 #define MS_TRUE "prawda"
-#define MS_FALSE "falsz"
+#define MS_FALSE "fałsz"
+#define MR_FALSE "fa", 0x0142, "sz"
 #define MS_INPUT "wejście"
 #define MR_INPUT "wej", 0x15B, "cie"
 #define MS_OUTPUT "wyjście"
@@ -103,7 +112,7 @@
 
 (* Specific delimiters *)
 
-#define MS_MONEY_OP_SUFFIX "$"
+#define MS_MONEY_OP_SUFFIX "PLN"
 #define MC_DECIMAL_SEPARATOR '.'
 #define MR_MONEY_PREFIX ""
 #define MR_MONEY_DELIM ','
@@ -112,7 +121,7 @@
 (* Builtins *)
 
 #define MS_Round "zaokrąglony"
-#define MR_Round "zaokr",0x0105,"glony"
+#define MR_Round "zaokr", 0x0105, "glony"
 #define MS_GetDay "dostęp_dzień"
 #define MR_GetDay "dost", 0x0119, "p_dzie", 0x144
 #define MS_GetMonth "dostęp_miesiąc"
diff --git a/examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl b/examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl
index c11339a3..ef72b971 100644
--- a/examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl
+++ b/examples/polish_taxes/podatek_od_czynnosci_cywilnoprawnych/rozdzial_3.catala_pl
@@ -9,17 +9,17 @@
 a) nieruchomości, rzeczy ruchomych, prawa użytkowania wieczystego, własnościowego spółdzielczego prawa do lokalu mieszkalnego, spółdzielczego prawa do lokalu użytkowego oraz wynikających z przepisów prawa spółdzielczego: prawa do domu jednorodzinnego oraz prawa do lokalu w małym domu mieszkalnym – 2%,
 
 ```catala
-deklaracja zakres UmowaSprzedazy:
+deklaracja zakres UmowaSprzedaży:
   kontekst kwota typu pieniądze
-  kontekst inne_prawa_majatkowe warunek
+  kontekst inne_prawa_majątkowe warunek
   kontekst stawka_podatku typu dziesiętny
   wyjście podatek typu pieniądze
 
-zakres UmowaSprzedazy:
+zakres UmowaSprzedaży:
   definicja podatek wynosi
     kwota * stawka_podatku
 
-zakres UmowaSprzedazy:
+zakres UmowaSprzedaży:
   etykieta a7_u1_p1_ppa
   definicja stawka_podatku wynosi 2%
 ```
@@ -27,10 +27,10 @@ zakres UmowaSprzedazy:
 
 b) innych praw majątkowych – 1%;
 ```catala
-zakres UmowaSprzedazy:
+zakres UmowaSprzedaży:
   wyjątek a7_u1_p1_ppa
   definicja stawka_podatku pod warunkiem
-    inne_prawa_majatkowe
+    inne_prawa_majątkowe
   konsekwencja wynosi 1%
 ```
 
@@ -42,7 +42,7 @@ mieszkalnego, spółdzielczego prawa do lokalu użytkowego oraz wynikających z
 ```catala
 deklaracja zakres UmowaZamianyLubDarowizny:
   kontekst kwota typu pieniądze
-  kontekst inne_prawa_majatkowe warunek
+  kontekst inne_prawa_majątkowe warunek
   kontekst stawka_podatku typu dziesiętny
   wyjście podatek typu pieniądze
 
@@ -61,40 +61,40 @@ b) przy przeniesieniu własności innych praw majątkowych – 1%;
 zakres UmowaZamianyLubDarowizny:
   wyjątek a7_u1_p2_ppa
   definicja stawka_podatku pod warunkiem
-    inne_prawa_majatkowe
+    inne_prawa_majątkowe
   konsekwencja wynosi 1%
 ```
 
 3) od umowy ustanowienia odpłatnego użytkowania, w tym nieprawidłowego, oraz odpłatnej służebności – 1%, z zastrzeżeniem ust. 5;
 
 ```catala
-deklaracja zakres OdplatneUzytkowanie:
+deklaracja zakres OdpłatneUżytkowanie:
   kontekst kwota typu pieniądze
   kontekst stawka_podatku typu dziesiętny
   wyjście podatek typu pieniądze
 
-zakres OdplatneUzytkowanie:
+zakres OdpłatneUżytkowanie:
   definicja podatek wynosi
     kwota * stawka_podatku
 
-zakres OdplatneUzytkowanie:
+zakres OdpłatneUżytkowanie:
   definicja stawka_podatku wynosi 1%
 ```
 
 4) od umowy pożyczki oraz depozytu nieprawidłowego – 0,5%, z zastrzeżeniem ust. 5;
 
 ```catala
-deklaracja zakres PozyczkaLubDepozytNieprawidlowy:
+deklaracja zakres PożyczkaLubDepozytNieprawidłowy:
   kontekst kwota typu pieniądze
   kontekst stawka_podatku typu dziesiętny
   wyjście podatek typu pieniądze
 
-zakres PozyczkaLubDepozytNieprawidlowy:
+zakres PożyczkaLubDepozytNieprawidłowy:
   definicja podatek wynosi
     kwota * stawka_podatku # TODO: extract somehow?
                             # this exists in every declaration
 
-zakres PozyczkaLubDepozytNieprawidlowy:
+zakres PożyczkaLubDepozytNieprawidłowy:
   definicja stawka_podatku wynosi 0.5%
 ```
 
@@ -105,7 +105,7 @@ a) na zabezpieczenie wierzytelności istniejących – od kwoty zabezpieczonej w
 ```catala
 deklaracja  zakres Hipoteka:
   kontekst kwota typu pieniądze
-  kontekst wysokosc_nieustalona warunek
+  kontekst wysokość_nieustalona warunek
   kontekst stawka_podatku typu dziesiętny
   kontekst podatek typu pieniądze
 
@@ -124,22 +124,22 @@ b) na zabezpieczenie wierzytelności o wysokości nieustalonej – 19 zł;
 zakres Hipoteka:
   wyjątek a7_u1_p7_ppa
   definicja podatek pod warunkiem
-    wysokosc_nieustalona
+    wysokość_nieustalona
   konsekwencja wynosi 19 PLN
 ```
 
 9) od umowy spółki – 0,5%.
 
 ```catala
-deklaracja zakres UmowaSpolki:
+deklaracja zakres UmowaSpółki:
   kontekst kwota typu pieniądze
   kontekst stawka_podatku typu dziesiętny
   wyjście podatek typu pieniądze
 
-zakres UmowaSpolki:
+zakres UmowaSpółki:
   definicja podatek wynosi
     kwota * stawka_podatku
 
-zakres UmowaSpolki:
+zakres UmowaSpółki:
   definicja stawka_podatku wynosi 0.5%
 ```
diff --git a/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl
index 8e8c6bda..77158e7a 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p1.catala_pl
@@ -4,22 +4,22 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P1_PPa:
-  sprzedaz zakres UmowaSprzedazy
+  sprzedaż zakres UmowaSprzedaży
 
 zakres Test_A7_U1_P1_PPa:
-  definicja sprzedaz.kwota wynosi 100 PLN
+  definicja sprzedaż.kwota wynosi 100 PLN
 
-  asercja sprzedaz.podatek = 2 PLN
+  asercja sprzedaż.podatek = 2 PLN
 
 
 deklaracja zakres Test_A7_U1_P1_PPb:
-  sprzedaz zakres UmowaSprzedazy
+  sprzedaż zakres UmowaSprzedaży
 
 zakres Test_A7_U1_P1_PPb:
-  definicja sprzedaz.kwota wynosi 100 PLN
-  definicja sprzedaz.inne_prawa_majatkowe wynosi prawda
+  definicja sprzedaż.kwota wynosi 100 PLN
+  definicja sprzedaż.inne_prawa_majątkowe wynosi prawda
 
-  asercja sprzedaz.podatek = 1 PLN
+  asercja sprzedaż.podatek = 1 PLN
 ```
 
 ```catala-test-inline
diff --git a/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl
index 6f06f35c..7005360d 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p2.catala_pl
@@ -4,22 +4,22 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P2_PPa:
-  sprzedaz zakres UmowaZamianyLubDarowizny
+  sprzedaż zakres UmowaZamianyLubDarowizny
 
 zakres Test_A7_U1_P2_PPa:
-  definicja sprzedaz.kwota wynosi 100 PLN
+  definicja sprzedaż.kwota wynosi 100 PLN
 
-  asercja sprzedaz.podatek = 2 PLN
+  asercja sprzedaż.podatek = 2 PLN
 
 
 deklaracja zakres Test_A7_U1_P2_PPb:
-  sprzedaz zakres UmowaZamianyLubDarowizny
+  sprzedaż zakres UmowaZamianyLubDarowizny
 
 zakres Test_A7_U1_P2_PPb:
-  definicja sprzedaz.kwota wynosi 100 PLN
-  definicja sprzedaz.inne_prawa_majatkowe wynosi prawda
+  definicja sprzedaż.kwota wynosi 100 PLN
+  definicja sprzedaż.inne_prawa_majątkowe wynosi prawda
 
-  asercja sprzedaz.podatek = 1 PLN
+  asercja sprzedaż.podatek = 1 PLN
 ```
 
 ```catala-test-inline
diff --git a/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl
index 83a8bc47..869c3821 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p3.catala_pl
@@ -4,12 +4,12 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P3:
-  sprzedaz zakres OdplatneUzytkowanie
+  sprzedaż zakres OdpłatneUżytkowanie
 
 zakres Test_A7_U1_P3:
-  definicja sprzedaz.kwota wynosi 100 PLN
+  definicja sprzedaż.kwota wynosi 100 PLN
 
-  asercja sprzedaz.podatek = 1 PLN
+  asercja sprzedaż.podatek = 1 PLN
 ```
 ```catala-test-inline
 $ catala Interpret -s Test_A7_U1_P3 --disable_warnings
diff --git a/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl
index bde4c4da..38a12f79 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p4.catala_pl
@@ -4,12 +4,12 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P4:
-  sprzedaz zakres PozyczkaLubDepozytNieprawidlowy
+  sprzedaż zakres PożyczkaLubDepozytNieprawidłowy
 
 zakres Test_A7_U1_P4:
-  definicja sprzedaz.kwota wynosi 200 PLN
+  definicja sprzedaż.kwota wynosi 200 PLN
 
-  asercja sprzedaz.podatek = 1 PLN
+  asercja sprzedaż.podatek = 1 PLN
 ```
 ```catala-test-inline
 $ catala Interpret -s Test_A7_U1_P4 --disable_warnings
diff --git a/examples/polish_taxes/tests/test_a7_u1_p7.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p7.catala_pl
index 6f122d8d..652aabc2 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p7.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p7.catala_pl
@@ -4,12 +4,12 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P7:
-  sprzedaz zakres PozyczkaLubDepozytNieprawidlowy
+  sprzedaż zakres PożyczkaLubDepozytNieprawidłowy
 
 zakres Test_A7_U1_P7:
-  definicja sprzedaz.kwota wynosi 200 PLN
+  definicja sprzedaż.kwota wynosi 200 PLN
 
-  asercja sprzedaz.podatek = 1 PLN
+  asercja sprzedaż.podatek = 1 PLN
 ```
 ```catala-test-inline
 $ catala Interpret -s Test_A7_U1_P7 --disable_warnings
diff --git a/examples/polish_taxes/tests/test_a7_u1_p9.catala_pl b/examples/polish_taxes/tests/test_a7_u1_p9.catala_pl
index b680ea97..883cbb85 100644
--- a/examples/polish_taxes/tests/test_a7_u1_p9.catala_pl
+++ b/examples/polish_taxes/tests/test_a7_u1_p9.catala_pl
@@ -4,12 +4,12 @@
 
 ```catala
 deklaracja zakres Test_A7_U1_P9:
-  sprzedaz zakres UmowaSpolki
+  sprzedaż zakres UmowaSpółki
 
 zakres Test_A7_U1_P9:
-  definicja sprzedaz.kwota wynosi 1000 PLN
+  definicja sprzedaż.kwota wynosi 1000 PLN
 
-  asercja sprzedaz.podatek = 5 PLN
+  asercja sprzedaż.podatek = 5 PLN
 ```
 ```catala-test-inline
 $ catala Interpret -s Test_A7_U1_P9 --disable_warnings