代数的型宣言