some flailing experiments
More WIP, on function literal witnesses. The most should-worky code so far -- still doesn't work though. Outcommented code left for posterity needing cleanup.
Outcommented function literal singleton experiments cleaned out