Merge branch 'master' of github.com:ianj/temporal-aam
Model code complete. Needs testing.
Merge.
More work on denotations. First stab at abstract.