notes on another approach to the "in" functions

also, I think they should be called "to_inner" rather than "in" for
clarity.