flambda-backend: Remove Product lattice (ocaml-flambda#2297)

* Remove Product lattice

* abstracting axes of comonadic fragment

* comment

* Robustify a match

* Restore obj parameter to print_morph

---------

Co-authored-by: Zesen Qian <github@riaqn.org>

Author: goldfirere