More work on #137: inverse warning

when a miniboxed or primitive type leaks into a non-miniboxed argument