| remove Idx access from MatrixWrapper
+ TypeChecker