Beginnings of an evaluator: Primitives