prae 0.2.1

Define types that promise to be always valid
Documentation