型，型クラス，その他の宣言