Context dependent type table as return

[Nekronod]

The inference result as type table provides a type table for all generated keys, but only the keys representing variables are of interest in most cases.
The expression climbing stores a mapping of Variable -> Key, while RustTyC returns a mapping of Key -> Type.
A function to combine these to mappings and obtain a direct table for Variable -> Type as the final result would allow direct usability.