Free Probability I: Noncommutative Foundations