(a partial application of) a top level function.
\item Any expression that is not representable and does not have a
function type. Since these can be any expression, there is no
transformation needed. Note that this category is exactly all
expressions that are not transformed by the transformations for the
(a partial application of) a top level function.
\item Any expression that is not representable and does not have a
function type. Since these can be any expression, there is no
transformation needed. Note that this category is exactly all
expressions that are not transformed by the transformations for the