improve translator: encoding of meanings