Make sure logics and languages are created only once
Save logics and comorphisms (problems are there)
Merge branch 'correcting133_importing_198_logic_mappings' into develop