Wow thank you I was so confused about the “lack of loops” thing and thought I must have utterly misunderstood the paradigm of Walter Bright’s D.