Introduce `nocapture' types.