Add features to shm-case-split

Now, you can case split based on the type of the expression at point (in
particular, the expression corresponding to the currently selected shm node)