Improve knownfun declarations.