A Linear Algebra Approach to Linear Metatheory