Implicitsearch: WIP, stack reification