Can you please add comments to the new types introduced describing their motivation? Thanks.