Syntactic sugar for ISIS-JSON type 3