replace unary nat plus and mult with Prelude.+ and Prelude.*
replace unary nat plus and mult with Prelude.+ and Prelude.*

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl