basics.ml.patch

11c11
< needs "fusion.ml";;
---
> needs "candle_kernel.ml";;
123c123
<     let theta = filter (fun (s,t) -> Pervasives.compare s t <> 0) ilist in
---
>     let theta = filter (fun (s,t) -> s <> t) ilist in
398c398
< let mk_finty:num->hol_type =
---
> let (mk_finty:num->hol_type) =
407,408c407,408
< let rec dest_finty:hol_type->num =
<   function
---
> let rec dest_finty (t: hol_type): num =
>   match t with