Added TemporalFact subtypes to Situation definition.

Temporal facts are relations between two entities or situations, such as
before, after, etc.  These are enumerated as TemporalFactType.
Merge branch 'master' of https://github.com/dkolas/concrete