Topic/inverse evaluate proposer#8

Open

na2021 wants to merge 4 commits intojoshrule:masterfrom

na2021:topic/inverse_evaluate_proposer

Commits on Mar 27, 2019

adding old versions of functions
na2021
committed

Commits on Apr 10, 2019

adding random selection of rhs when inverse evaluating and adding replacement of placeholder variables with correct variables
na2021
committed
formatting fixes
na2021
committed

Commits on May 7, 2019

Rewrite: Moving tests for private methods from doctests to normal tests
na2021
committed