Open Source Adventures: Episode 75: Issues with Crystal Char type

While I was writing puzzle game solvers in Z3 Crystal, one issue I was running into more than anything else was existence of Char type. Most modern languages don't have character type. "foo"[0] in most languages is a "f" - a String that just so happe...