Does this work typecheck matrix operations?