Fix permission variable elision

[evincarofautumn]

Permission elision generated too many implicit permission type variables.

This has a couple of hackish workarounds that need to be removed before it lands, because with terms are desugared too early, leading to potential name clashes.