Add some code for doing unification matching on facts
Add optima dependency