Had to tweak the way that erpfn is generated because it wasn't correctly working with RandVarFromCallsite (needed to only generate a single new type at each callsite. I was generating one for every overload at each callsite).