more typos fixed (translation of types into CP)