Adds LookupJoin from Summingbird

This doesn't really fit in the DSL, but I like it in this codebase vs Summingbird's, as it seems more generally useful.