Make symbol table store a ReferenceTo enum, with variants for lettings and decision variables

[niklasdewally]

Instead of just storing decision variables, let the symbol table be of type:

SymbolTable<Name,RefTo>

where RefTo is an enum:

enum RefTo {
  Letting(Letting),
  DecisionVariable(DecisionVariable),
  GivenVariable(...)
 }