Add more concept types
Add fact conclusions
Add RecurrentFact