[reify_null]

Interesting paper, I happened to do something very similar for my master's thesis around a decade ago. I did not prove the soundness of the type system due to lack of time but had the feeling that should not be a major obstacle, probably in my naivete.

I skimmed through this thing and found no way to define clocked feedback circuits. This was something I was conceptually struggling with that at the time. The pipelined combination of timing definitions seems straightforward enough as its just adding integers together. Maybe someone who is actually up to date can correct me or provide some more info.