* gnu/packages/multiprecision.scm (mpfi)[synopsis, description]: Edit. Define several terms. Use GMP instead of MP for consistency.