Consider types on auto-completing

[gavr123456789]

Here what I mean:

Peek.2021-05-10.18-19.mp4

All the system.* here are useless, there will be an error if you use these auto completions.
This might work for macros/templates that accept typed/untyped. But for functions that expect specific types, I think you should get only variables of these types.
In the example above after takesOnlyString only x and z expected