The TYPING signature doesn't need to know about eval & quote