Change vim bindings to use <LocalLeader>
Fix line number propagation in 'case' elaboration

This means case splitting will work in case expressions now.