Two small bugs and the bad one.

1. No indicator texifying in some cases.
2. Indicator normalization after substitution.
3. Doubling of exponent argument when substituting any variable for itself.