The new datatype identifiers when you look at the DTS demand the following constraints Wef the signature = has an arrow expression (s s)?k then I= must map Ds?Ds to Dk. The effect of datatypes. If dt ? DTS, let LSdt denote the lexical space of dt, VSdt denote its value space, and Ldt: LSdt > VSdt the lexical-to-value-space mapping.…