preliminary support for unified references and values

We now model references to state variables and local quantities using the same
classes. The type of any particular variable is determined at construction time.