fix code that used to raise an exception if bound variables were given a finite function type, because the old vs. new bound variable types were confused

 (binary:application/x-msdos-program)