Fix implicits bug

If the ordering we guess is not the same as the ordering that is
eventually decided, everything goes to pot... so this patch no longer
makes that flawed assumption!