interpret and uninterpret the modules