Draft: tensor products proof of concept
Tensor products of tautological rings. This is part of #85. The prodtautclass
also contains the information of the boundary pushforward. This will come in a later merge request as a separate construction depending on a StableGraph
+ TautologicalClassTensor
.