prae 0.6.0

Define types that promise to be always valid
Documentation