math: initial implementation of the is_unitary() function and related type trait.

Plus a couple of minor fixes in the doc for math::is_zero().