Added EmptyString type. Char optimization now is always turn on.