
Abstract and Concrete definition for the Adl source language

Makes heavy use of disambiguation facilites in SDF.
