Design crystalized last night for spatial-temporal types. Also including idioms for sealed values and uniqueness.
thoughts on modeling unique identifiers (via effects); not positive at the moment