型検査と制約解決：全般的な注意

これから、型検査と制約解決の解説をするが、絵を使う。本質的にCatyScriptは絵図言語なので。

既に絵を描いてスキャンした。が、見直したら細部（でもないか？）では絵が間違っている。直すのはめんどくさいので、絵はそのまま使う。いちおう修正は入れるが、あまりアテにしないように注意したほうがいい。

特に制約解決（連立不等式の解法）では、アルゴリズムそのものも不安定なところがある。とりあえず、忘れてしまわないウチに書いておく（つもり）。