Adds a typed request-body predicate in the same body block.
description is used in mismatch diagnostics when provided.