The type 'constant', on the other hand, will completely scan an expression to determine whether or not it is composed of any nonconstant parts. Hence it is a nested type. The following types are examples of nested types: