Compiler: Improved overriding of variant functions.

Overriding a variant function with a non variant
now causes later variant function overrides to
not reinstate the function.
Variants: Handle voidable types in the dispatcher.