Adds unit tests (and some bug-fixes) to the Pops::Types on feature/binder branch