Could KAnnotator infer @Immutable and @Pure annotations?

[abreslav]

We have retired KAnnotator for a number of reasons. Introducing extra metainformation, like purity, would be interesting, but we need more use cases to justify the costs