こんなとこでしょうか? 1がおおよそ出来れば、2と3は同時並行できると思います。
type color = RED | BLUE | GREEN | YELLOW | SEE_THROUGH type kind = NORMAL | JAMA type puyo = { color : color; kind : kind }
こんな感じで。あとは空間とぷよの配置の定義すればおしまい。 配置から消えるぷよを求める関数とか作っとくと便利かな。