Fixed module name
Changed to handle zero-input correctly in rational number recovering
Added Additive instance for vectors
Implemented Hensel lifting for matrices and linear system solving