Harmonizing classes, functions, tuples, and type parameters in Virgil III

   Abstract