Treatment for GapFill when in Recovery Mode

Decoders for ipl types from shared AST

Support for Imandra LStrings

Decoders for admin level artifacts

Using Freshness concepts

Using Imandra Annotations

Support for JSON using Decoders

Merge pull request #57 from AestheticIntegration/feat-documentation-m…

…akefile

Adding a doc target in the Makefile

Merge pull request #43 from AestheticIntegration/denis/additions_to_d…

…atetime

[feat] adding missing comparison functions

Merge pull request #41 from AestheticIntegration/denis/datetime-lemma…

…s-fix

[feat] moved lemmas into vgs directory