fieldBuildingProductTranslation
given fieldBuildingProductTranslation[T, R <: Tuple, RV <: Tuple, AF, AFS, C, DC](using val ftb: FieldTupleBuilder[T, R, R, RV, AF, AFS, C, DC], val afb: AdditionalFieldsBuilder[T, AF, AFS, R, RV, C, DC]): SchemaTranslator[T, ProductShape[T, R, RV, AF, AFS, C, DC], OtherSchema]