Demonstrate full identity function
Fix inverted calls to `lookupDecl`

This is why #3 needs to be done.