Treatment for GapFill when in Recovery Mode

New Treatment for GapFill='Y' when in recovery mode after sequence request and sequence reset.

Ipl code Decoders from AST

Decode single-type AST for FIX artifacts to fix-engine iml code.

Support for Logic Strings

Support Imandra's LString module

Admin Decoders

Using Elm-style decoders for admin level artifacts.

Using Freshness concepts

Introduce peano style Freshness concept for reasoning about opaque functions.

Imandra Annotations

Use Imandra style annotations in iml code for proof support.

JSON Decoders

Use Elm-style decoders for JSON serialisation.

Support for repeating groups

0.0.6

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

Completed datetime comparison functions

0.0.5

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

Updated VGs

0.0.4

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