formatting. before trying out new idea with isFresh
new freshness mechanism. introduce Validity (is dummy for ephemeral systems). remove isFresh. remove int specialized event vars. remove slot parameter from validation