Mercado dos Lavradores, the market at Funchal