Adding M inductive type