Update Translator.hs