Implement UnknownTerm equals method, pimp the term factory and mostly adding more term tests