Introduce a new class that corresponds to elements of `H_t`

[panchoop]

Currently, the elements of H_t are implicitly defined via the dot products,
and explicity checked with the checker module.

This could be improved by introducing a new class that manages these objects.

In this way, it would also be easier to change spaces and dimensions. Overall, simplifying the code.