Start describing how to build datatypes