Reg takes an inconsistent number of args -- does it take the clock or not?

[gussmith23]

The Yosys Churchroad backend produces Regs that have a clock. The documentation in churchroad.egg suggests that it takes a clock. However, the typechecking rules expect no clock.