JSONSpec

make the world well-typed.

Standard built-in types of JSONSpec