Stainless MTL:  Fixed v4.7 name reading and moved abstract Material to Generics