Point-Free, Set-Free Concrete Linear Algebra