Compiler [Typechecker]: Improved checking of variant overloading. The variant overload check now attempts to match the variant dispatcher better.