encapsulate deprecation message -- update checkfiles?
TODO: allow ignoring of deprecated implicits by escalating deprecation to error