Possibly a silly question: did you consider using the complex integers (either as a + bi, or as (r, 2*pi/T)) instead of the natural numbers as the basis for Nock?
(Actually I was very pleased when I realized that signed integers have no place in a fundamental interpreter.)