Disallow mutating [[Prototype]] of typed objects

[Niko Matsakis]

We have to investigate the mechanisms by which [[Prototype]] can be mutated in the spec (__proto__?) and ensure that typed objects cannot be so mutated.