new_syntax.md: Add some implementation details.