Lobsters: True names matter in C++