fixed an error in lint_trap, occuring because I was doing regular array addition, instead of polyadd/polysub