Table contents are not checked for type intersections

I gave up on trying to contribute anything around type intersections, so I'll just report this:

```lua
--- @param x { y: integer } & { z: string }
function foo(x) end
foo({y = "", z = ""}) -- should be an error: `y` is not an integer
```
