変数を定義する関数を作って、定義するときはいつもそれをつかって値が正しければ
代入できるようすにすれば型のようなものは作れる。
この関数が静的に評価できれば静的型付けになる。