[Feature] Infer types from `unpack` call

[Feez]

If we know enough information about the type passed into unpack, we could infer the unpacked values as a result. For example:

We know that both x and y are of type string based on the table passed in. It would be nice to have this as a feature :)