Language definition

Describes the DARL language