Sabor de San Miguel Mayan Kitchen closed early in the pandemic 
+1 to the Poc Chuc suggestion if you get the specialties discussed in the linked post (the menu has some filler items: btw, it’s listed as closed on Yelp, but a recent post says that inaccurate).
El Buen Comer is my pick for well-rounded Mexican menu with lots of masa items. Donaji is a good pick for a solo diner and is closer to 24th St Bart (start with Oaxaca Totopos, then get cochinita taco, quesabirria and/or chicken taco, sides of seasonal vegetales and beans, and buy jars of salsa macha if you’re checking in luggage).
If lunch sandwiches are your prerogative, La Torta Gorda’s tortas are top tier (Rajas con queso FTW), but for the rest of the menu, I feel the above restaurants are stronger players in their respective niches. Also, they’re closed by either 6:30pm or 4pm.
