Refactoring.
propose and logProposalProb in makeERP are now the same thing.
pfn can now handle overloaded functions.