expanded on ATP to encode the var-dim entries of d>n:shp features in N_typepattern nodes and the N_spids within them.
This fixes the detection of d>n:shp features as + types and thus resolves the issue #2536 (closed) AND it also keeps the found info encoded in the typepattern for later ode generation. The code generation is still missing!
The most important change in behaviour is that +-features do NOT increase the fdim anymore as that is wrong anyways! instead it adds to minVarDim!