Character value elements are never ambiguous.
Theorem: element-char-val-unambiguous
(defthm element-char-val-unambiguous (implies (element-case element :char-val) (element-unambiguousp element rules)))