Generated types should be more permissive about Ptr types

[ekmett]

Many of the types we generate take Ptr (), but which should take Ptr a unless we know more about exactly what pointer type they need.

[hadronized]

:+1:

[ekmett]

Patches welcome. =)

It really should just require threading a fresh variable supply through the type expander.

[hadronized]

I’m on it ;)

[hadronized]

Still looking for a solution. I guess we have to tweak values here, but I’m not sure at all.

[ekmett]

Those are the ones. You basically just need to thread a free variable list into the function that generates that.