Please, check & find superflous coerce

[Anton-Latukha]

During work on type shifts, the coerce gets sprinkled over the code.

Eventually, when types line-up - some of the coerce sprinkled over the codebase become superfluous (Path -> Path & such).

There probably shouldn't be many of them, but also finding & removing them would make the code not only cleaner also reducing their number - prevents type inference problems during work.

[Anton-Latukha]

Also:
coerce $ <expr> $ coerce is coerce (<expr>).