Initial work on interpreting and type-checking temporal traces.
BSD 2-Clause "Simplified" LicenseBSD-2-Clause