Add constructor for tuple types where all contained types are known