ObjectNode.elements should be stronger typed

ObjectNode.elements field is typed as List<Node>, when it could be List<PropertyNode>. There are casts throughout the code of elements to PropertyNode. The code is also better self-documenting if we express with types that ObjectNode's children are always PropertyNode objects.