Move to_char() and to_string() to notation

Where they better belong.

Also, this removes '#include <string>' from types.h, which
reduces the amount of code to compile (every translation
unit includes types.h).

No functional change.