added a tiny bit of documentation for IREncoder TODO: Complete using correct syntax