[Import BUtil also with, for the definition of class Num Nat
Joachim Breitner <mail@joachim-breitner.de>**20100910144057
 Ignore-this: 2cda37dc70462c8cb69463239de46c11
] hunk ./SemSyn.hs 92
+                      , text "import BUtil"