enabled Shrinkers to decompose composites
implemented CharShrinkers