Dump: Update
Types: Clarify semantics
Lookup: It works
Test: Test Lookup