Reverts and fixes 102f0d3
102f0d3
This is needed, for example, to approximate flexible types correctly when rendering them in the code