The lambda lists of
and other users of
have now been corrected.
Lambda lists previously recorded as
for special forms like
have also been corrected.
Lambda lists are reported by commands like
Function Lambda List
and can be seen interactively by using