@@ -105,6 +105,12 @@ not = "not"
105105
106106-- Prelude Values
107107
108+zero :: String
109+zero = "zero"
110+
111+one :: String
112+one = "one"
113+
108114return :: String
109115return = "return"
110116
@@ -163,6 +169,15 @@ applicativeEffDictionary = "applicativeEff"
163169bindEffDictionary :: String
164170bindEffDictionary = "bindEff"
165171
172+semiringNumber :: String
173+semiringNumber = "semiringNumber"
174+
175+ringNumber :: String
176+ringNumber = "ringNumber"
177+
178+divisionRingNumber :: String
179+divisionRingNumber = "divisionRingNumber"
180+
166181numNumber :: String
167182numNumber = "numNumber"
168183