This is not glue layer, this goes in the frontend.  If it was glue layer, it would be possible to complete semantic analysis without doing any mangling, but because of `.mangleof` this is not always possible.