getters for the JSON types