Scott, the best way to think of sharps is via mice. Think of x^# as a mouse over x with one measure which is iterable. R^# is a mouse over R with one measure which is iterable. Things become very easy ones you make the move from sharps as reals or sets of reals or etc to sharps as mice.