Add LOGGER functor

LOGGER: a functor which print a message, potentially containing the value of its argument and its type (use {arg} and {arg_type} as part of the message to do so), and then returns its (single!) input argument.

Motivated by an attempt to debug #596