Free Function Theory Through Matrix Invariants