add annotations to the generated spark syntax in Coq