New function read-char-choice for reading a restricted set of chars.