Integrated Var in Sl_term. Hid two unused functions from Sl_term. 
Bug fixes in Sl_indrule.
Hashconsed predicate symbols.