Datatype-generic relational definitions revised.