Models and begin evaluation with respect to a model. Begin defining the semantics of built-in constants.