Major overhaul of existential type parameter handling: preparatory step -- parameters directly in the type, existential type format the same as of regular constructors.