Added 'find' method to terms.Term (and simplified a few method signatures)
Added 'find' method to terms.Term (and simplified a few method signatures)

sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors,sccblom/vercors