Test for "unit/bracket-denominator"

This requires a few changes to the documentation, which was out of
sync with the code.