refactor name mangling#79

Open

AlexKnauth wants to merge 2 commits intolexi-lambda:masterfrom

macrotypefunctors:mangle

Commits on Jun 4, 2018

refactor name mangling
AlexKnauth
committed
Change make-*-req/prov-tr to take id-(un)manglers to lift out repeated code

iitalics
authored and
AlexKnauth
committed