Make Traversable, Map, JavaCollection, and JavaMap result of contain words extend
ResultOfNewCOntainWord, and got rid of the old contain xxx methods inheriting
new ones from ResultOfNewContainWord.