Add strictness annotations to request types