MemAlnType.scala updated