変数のネストに対応。型チェックも。