Lobsters: Exploring ref qualifiers in C++