Added an explicitly semester property to WorkshiftInstance, makes them faster to filter on db end