Added specification AST and compilation