(ssa refactor): Change types to be stored in the value rather than the instruction result

[jfecher]

Problem

Instructions are currently stored on the instruction result which makes them very dependent on passing around a ctrl_typevar to determine the type of operations. In practice, this means we must pass a type in every time we insert a new instruction into an ssa function in the refactor.

Proposed solution

We can avoid this if we store the types of values so that we can use these to determine the instruction type (if possible) instead.

Alternatives considered

No response

Additional context

No response

Submission Checklist

• Once I hit submit, I will assign this issue to the Project Board with the appropriate tags.