Add wee message that formatting completed OK
Factor out raising code to separate function
Add node-paren-p predicate
Raise the whole thing when raising an app in a paren
Add special case for TyFun when raising
Add shm/splice as M-s
Better re-positioning after reformatting
Note to say already formatted
Merge remote-tracking branch 'upstream/master'
Remove reformat-decl
Merge remote-tracking branch 'upstream/master'
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)
Merge remote-tracking branch 'upstream/master'