Question: Can good type systems distinguish between matrices in different bases?