A complete LD Patch

Includes the parser and the operational semantics.