Character type with supporting operations

[eric-unc]

As originally mentioned in #16. A lot of scripting languages don't have any kind of character type but personally I quite like the distinction of a char v. a string that just happens have a length of one.