preparation for Tell and BencodeStream
rational terms with unification
progress in BencodeStream.Encode, and basic features in Tell
merge
rational terms improved, with unification, equality, substitution and De Bruijn index
quick tests