string: compare, concat; optimization: operations on constant values; small other fixes