DOI Initial Release, v0.1.0

This version has the following features:

• Implementation of LTTT base types, typing rules, and operational semantics,
• A generic context store for typing and semantics,
• QuickChick functionality to generate and show,
• GitHub Actions configuration.