checkpoint, pre TypeMap elim. cond in but not working
ohori wip
ohori poly recs/variants WIP. not done but this might be the last
work on it for a while.