Add modular lagrange interpolation, fixes