Reorganized implicits spec.