Introduce :kind and :type commands and remove :implicits.