Newton: Add missing Foldable constraint
Penalty: Silence some warnings
Newton: Kill unused parameter