AML-DL Specification - Final

Summary
A language specification document for a high-level language interpretable to algebraic relations compatible with AML. The document shall include some basic examples.Released and revised in four different stages.