changed HOTerm.view (type param of Multiset)
HORewriting module