reasoning: Decouple reasoning engines from core mmint (4)

 * Parse extension point for reasoners
 * Ready to use it to dispach constraint check