empty package:syb

Construct the empty value for a datatype. For algebraic datatypes, the leftmost constructor is chosen.