Docs: Finish the dc file grammar specification