tightness 0.1.0

Define types bound by arbitrary invariants and conditions
Documentation