Replace SignalRef once WithExprRef

[domoritz]

Trying to use SignalRef everywhere and replacing it once via a generic. For #7459.

Doesn't quite work yet since I cannot get the schema to look nice. Right now, the schema is 200k lines.

This design would have been nice since we internally just deal with Signals and we automatically get Expr everywhere where we support signals.