prae 0.3.2

Define types that promise to be always valid
Documentation