the library and curiosities in the ruins of Igreja do Carmo