Library implementing and exploring Promise Theory