Update uast_spec.md