Must/Maybe do not return a Matrix

Op signatures now don't return Matrix, so it makes no sense to keep the
old signature on Must and Maybe.