標準letフォームは、コンパイル時にその名前が既知である変数を
束縛する。progvフォームはその名前が実行時に計算される変数を
束縛する容易な方法を提供する。
このフォームは実行時に計算された変数の集合に、letスタイルの
変数束縛を確立する。式のsymbolsとvaluesは評価され、
それぞれシンボルと値のリストを戻さなければならない。シンボルは本体
formが続く限り、対応する値に束縛される。valuesが
symbolsより短い場合、終わりのいくつかのシンボルは本体内では
未束縛にされる(makunboundによってのように)。symbolsが
valuesより短い場合、余分の値は無視される。