first attempt at providing a terminal READ in addition to CHARACTER
that uses READ-FROM-STRING