fix w.r.t. deserializing MM: built-in datatypes don't need to be resolved