SE-0352: Implicitly Opened Existentials

Here is the second review thread:

@ensan-hcl, if you like, I can ask the moderators to move your post there. (Or anyone else, for that matter.)