Unicode in highlight algorithm
Made all objects unicode-aware + fixed some bugs