Working on signature type system. Creating a BoxingOperation function class to box parameters into tuple parameters.