|- 123 : number
|- “abc” : string
|- true : boolean |- false : boolean
|- null : t?
|- val1:t1 … |- valn:tn
————————————————————————————————————————————————
|- {x1:val1, …, xn:valn} : {x1:t1, …, xn:tn}
|- [] : [empty]
|- val1:t … |- valn:t (n>0)
——————————————————————————————————
|- [val1, …, valn] : [t]