Added new valuations to distinguish accepting states that are 'done' or simply accepting for prefix closure.
Merge branch 'master' of github.com:ianj/temporal-aam