Implement characters as Javascript strings of length 1
Fix bug in character reading
Character printing