Different ideas for productivity data type
Refactoring

  Removed unused staff
  Example proof of productivity