Make TInstruction.activate use SendContext instead of seperate values, Send.fromObjs doesn't need a runtime, Make Send.fromObjs use the new instruction system, Add SendContext#withReceiver, Make SendContext assert that the ground and the receiver are in the same runtime and Move InstructionSeq interpreting to InstructionSeq