Create syntax_theory.md