tightness 0.1.1

Define types bound by arbitrary invariants and conditions
Documentation