Implemented statically typed tuples with up to 4 variables.