Use Data.Char for representing variables.
Introduces values.
Added progress and preservation theorems.
Proofed progress for the arithmetic language.
Added preservation proof for the arithmetic language.
Fixed progress and preservation theorems.
Fixed imports
Renamed the constructor of numbers to ⌜_⌝.