Add substitution elements to work with code points

[Martin Ender]

Basically two unary operators that convert between characters and their Unicode code points. Not sure whether they should just work on the first character/integer or be able to transform entire lists (in which case it's unclear what to use as a separator when going from characters to code points).