ThisExpression is a LeafExpression
putting staticize in the last of optimizer commands, which looks better
than first
support "\xXX" in string literals
forbid duplicated case values (but only for literals)