Allow custom names for properties in JSON serialization#451

thegridman wants to merge 2 commits into

masterxtclang/xvm:masterfrom

jk/json-propertyxtclang/xvm:jk/json-propertyCopy head branch name to clipboard