Lecture Notes On Linear Codes Defined Over Finite Modules: The Extension Theorem And The Macwilliams Identities [Lecture Notes] 2008