fix: use a less ambiguous encoding for relative imports

[digama0]

It would previously encode a relative import with a suffixed _0, which can collide with actual lean names.