Updating: more work on compiling datatype-value construction.