Change context to reference Actions instead of ActRefs
Temporal constraints are on TPRef
AnnotatedStatements now produce statements and temporal constraints
Added support for temporal constraints
Support for temporal constraints on statements