Function add 

pub fn add<S: ValueStore>(
    store: &mut S,
    left: Value,
    right: Value,
) -> RuntimeResult<Value>

Checked addition; also string concatenation (design §8).