Added more comments to Syntax.idr