std::vector -> IntegerVector
phase-known f2 as separate class

- if forward/backward equations are written once, est_map will need to
  call them with phase-known version of f2.
- So, est_map first uses object factory to create f2pk from f2
Update ToDo list