基本型のサポートを追加する準備

構造体をサポートしようとしたら、構造体を用いてインスタンスを作成する際に、
構造体を型として考える必要が生じた。
構造体を型として考えると、必然的に通常の変数にも型をつける必要が生じた。

具体的にどのようにして型を実装するかの目処はまったく立ってないが、
とりあえず実装の雛形だけでも追加することとした。