新的可解类型

• new solvable type