Mercado dos Lavradores is the beginning of the Old Town quarter (even though you will not see signs for the Zona Velha until farther east).
366221
The Old Town area starts at Mercado dos Lavradores.
366222
You will see notices for Zona Velha at Mercado dos Lavradores.