Support calling functions in JS

[samestep]

We need to implement the function returned by fn so that it pushes Tuple and Call instructions onto the function body under construction. This will also require us to handle the junction between the callee's types and the caller's types.