Typing try expressions