Temp: add a nocontract version of matrix.rkt