Use the correct fail handler in type lookup

The other handler is meant for type name environments.
In practice, this should never come up in the current
codebase, but extensions that use `lookup-type` could
rely on it.
Fix doc typo