add '変数' to some '束縛' and '自由'

文脈上変数であると思われるfree/bound の翻訳部分に’変数’を補いました。同時にカッコ内のIf we renamed guess to
abs we would have introduced a bug by the variable abs.  It would have
changed from free to bound. を一文にまとめました。