Update Hilbert.idr, including removing some functionality to Matrix.idr