Checkpoint
Virtualize method lookup input.
Self-review #1
Got rid of all the unchecked casts.
Gcc :-(
Changed general lookup interface to never return the values.