I agree with those comments he made, but did he deny the existence of types as envisioned by Jung?