declareDatatype function
Declare a datatype with the given name and constructors.
Implementation
DatatypeInfo declareDatatype(String name, Iterable<Constructor> constructors) =>
currentContext.declareDatatype(Sym(name), constructors.toList());