Start to document the concrete syntax