Are we okay with just `auto` return types? These require definition to
precede usage leading to intractable cycles.

I suggest that we start putting return types (at least trailing ones)
everywhere. Keeping a track of return types at very stage would make
other things like keeping track of copies easier. It will also point
out issues with things like perfect forwarding that might require
change in signatures otherwise.

--
Best
Jayesh