Use map{Old,New} instead of bimap for more clarity
Ack the DemTech grant
Answers to reviewer 1
Merge branch 'master' of https://github.com/np/names-for-free
Remove untag to save some space
Change names for freeVars and freshFor, favor _ as the first version
Code layout