Representation of return statements.
This is a product type, introduced by deftagsum in support of vl-stmt.