Remember names and implicitness when translating to Rainbow