束縛変数の定義域を付けれるように構文を変更(ただの糖衣構文)