Notes (in the form of source code) for how jplyr could solve type-inference and lifting problems - View it on GitHub