1963年开始的现代数学运动的三种类型，是____、____和中间型。