Declarative API

create_type(name, contains[, identity, …])