Add initial support for co-datatypes.