added (some) documentation for IREncoder