Build generic constraints

[CohenArthur]

• For function arguments, the TypedValue and the Binding refer to each other which is weird
• How to not name resolve functions which are generic? This is annoying with a flat representation because we don't have the function's context, right? Unless we look at the parent scope?
  Maybe a solution for this would be to make name resolution use the TreeLike visitor then, at least to build some sort of context