Made val case optional in handlers
Optional finally clause; arbitrary order
Fixed finally semantics