Added aux.hs for the translator.