Using std::tie in operator< now.

Maybe we should use comparators (functors) instead of operator<.