Eliminate auxiliary implicits

[none]