Abstract Syntax

CliteF started.