[WIP] Make Namer tail-recursive