expression: ["red","green",42]
allows 'red': false
allows 'green': false
allows 42: false
allows 'blue': false
t2 allows {a:1} (fresh obj): false
t2 allows [1,2]: false
