testing stuff about terms and De Bruijn indexes
changes and fixes in many De Bruijn related parts of the code;
call-by-value implementation of HO.beta-reduce