refactor: Use a structure with variable names and port names

[croyzor]

When checking lambdas, we sneakily update the portnames to be the names given to bound variables by users so that we can have nicer error messages. This hack is not very nice imo, we should instead carry around both potential names for variables when we can, and decide which one to print when it suits us!