Simplify/cleanup optional args spesh handling.
Don't fiddle dominator tree in successor removal.

Might break facts traversal, and doesn't influence the code-gen in the
end.
Look at type, not value, in method resolution.