CLHS symbol lookup: