Generates hodge_dual/1 and hodge_undual/1 operations for multivectors.

Unlike the pseudoscalar dual, the Hodge dual is defined independently of the metric and therefore also works for degenerate algebras.