sumByLocalKeys; more fixes of implicits; still not quite there