New raw implementation of maps, in the hope to prevent universe inconsistencies
Congruence example factored in different files