Some improvements in solvers:
Some improvements in solvers:

1. SPEC_FRESH now refresh type variables
2. New solver IS_SLV for the prolog-like construction `X IS expr`
3. PROLOG_SLV now uses IS_SLV.
   Todo: remove the hard-coded conversion.

massimo-nocentini/kanren-light