Thinking about data structures in Mu*