Added open property annotations on expressions and declarations. Continuing work will be done in the properties branch.