SE-0335: Introduce existential `any`

There are none (by design):