first implementation of the HaskellLexikonWriter with first three transformation rules