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