Explicit Interface Implementation Edge Cases

[ds5678]

#346 handled the vast majority of situations, but there are some edge cases which get ignored. In particular, we don't currently do any signature checking.