Inlined `<>` for string, `<<<` and `>>>` for `->`.
Use a fresh name.
Remove (<<<)/(>>>) inlining. Move `pure` inlining to `magicDo`.
Merge pull request #526 from joneshf/inlining

Inlining