* Moved Vertex and Edge Property getters code to Denotation;
* Removed Tagged;
* Minor renamings and formatting changes;