Reconcile deep and shallow handlers

[dhil]

The effect handlers extension adds two types of handlers: deep and shallow. They have their own syntactic form handle(...) { ... } and shallowhandle(...) { ... }. There is no reason why a handler cannot mix deep and shallow clauses.

The idea is to remove the shallowhandle form, and mark individual handler clauses as to whether they are deep or shallow.