Are Micro A USB plugs actually ever used?
Yes.  Pretty much ignored in favor of the micro-B.  There is no "Micro-A receptacle" since the micro-AB covers both.  There were many more orders for micro-B cables than there were receptacles, and the industry quickly scrapped the micro-A.