Progress in noncommutative function theory