Add constraint inference

[kaleidawave]

Add parameter inference for passing as argument, getting a property from and calling

TODO more cases

• Operator inference
• Nested inference
• Free variable thing
• this inference
• Test narrowing
• Combing requests

Also not sure what to do here

function x(a, prop) {
    return a[prop]
}

x({ a: 1 }, "b")