disco-0.2: test/table-error/expected

Don't know how to make a table for type ℕ
Don't know how to make a table for type ℕ × ℕ