I will leave it to somebody else to delve into the details; your question will hinge on how complicated it is to code the finite set A, and how complicated it is to code the collection of strong types realized in M (which will be a finite set of reals).