Evaluation was not occurring for terms such as  ``1 / 2 * 0r`` and ``0r * 1 / 2``.
Add theorem word_extract_mask.