reasoning: Decouple reasoning engines from core mmint (5)

 * Refactor z3 projects into the modelepedia namespace