Implemented a very non-generic function for building expression trees from tuples.
And added its type signature.