add pretty-printer showing that the matrix types can be inferred now