Fix var type inference2

Giving it another try.
This is only for Cast.
After talking with Grigore, we kind of agreed that cast should specify the exact sort of a production.
Otherwise something like `.::K` would still be ambiguous.