JSON value types

Typechecking strictly for JSON's data types with value based type definitions that are also json serializable.

Only the basic types used by JSON may be checked:

• object
• array (structured as a fixed length tuple with positional element types or a homogenous variable length array)
• number
• string
• true / false

The type definitions use literal JSON values to define the type. Because the type definitions are also valid JSON, they may be serialized or stored, etc.

This works the same as [value-types], except it uses a more limited set of possible types and typechecking options, strictly based on the types in json.