prae 0.4.5

Define types that promise to be always valid
Documentation