pub fn define_datatype(names: &Names, namedtype: &NamedType) -> TokenStream