Add substitution elements to work with code points

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).