async fn builtin_add(co: GenCo, values: Vec<Value>) -> Result<Value, ErrorKind>