Add concrete syntax