Modernize PartProp

• remove deprecated std::{unary,binary}_function
• use std::tie to implement operator<
• make operator< symmetric (wrt. type promotion) by implementing it as a friend function
• prefer std::unique_ptr over explicit new/delete