The ZSON specification allows top-level values of any type, but the identical syntax for type decorators and type values creates an ambiguity: Is (type) (type) a single, decorated value or two consecutive values? We should resolve the ambiguity.