ADDED: Typecheck wrappers code/1, codes/1, char/1, chars/1, text/1, boolean/1.