val lookup :
int -> 'a Terms.substitution -> 'a Terms.foterm
val filter : 'a Terms.substitution -> Terms.varlist -> Terms.varlist
val lookup :
int -> 'a Terms.substitution -> 'a Terms.foterm
val filter : 'a Terms.substitution -> Terms.varlist -> Terms.varlist