validated-literals-0.2.0: Compile-time checking for partial smart-constructors