Added uast spec