Resolve equality-distinctions.lsp.
Resolve hash-tables.lsp.