Always generate an `impl` wrapper, even if the function does not have type patterns

Additionally, if one does -printfun foo, we now print foo as well as foo_impl if it exists.