Instantiating a function type scrambles the RI/PI positions

When a function type is instantiated, its RIs and PIs appear in random positions. It would be much less frustrating if they could appear in the same positions as the function type (see attached image).

Seen in updated TASTE VM 2022/12/07 and previously.

Another example shown here:

Function 7 is an instantation of Function Type 1. PI_1 is placed at a different place compared to the function type