tightness 1.0.1

Define types bound by arbitrary invariants and conditions
Documentation