disco-0.2: test/syntax-types/expected

[1, 1, 1, 1]
[-1, -1, -1, -1]
[1/2, 1/2]
[-1/2, -1/2, -1/2]
[T, T]
[■, ■]
[]
{}
{}
⟅⟆
⟅⟆