Addition works, framework for primitive procedures exists, small reqrite of define and set to accept pair instead of whole exp