[uwvgjgbz] Pure function search

Given some example inputs and outputs of a pure function, search for it in a library.

Inspired by Hoogle, and a Hoogle-like type search on the types of the inputs and outputs will likely be a first filtering step.

Many unsolved devilish details.