Term.variant implemented (with variants lookup in Index);
large substitutions in Term.Subst, using a PersistentHashtbl to discriminate on contexts
update of README