Rule-based contract design library and tool for Javascript.