change translation words

special forms →特殊形式(またはカタカナ書きでスペシャルフォーム)
lambda calculus  →ラムダ計算
とするのが一般的な訳語のようです