Synopsis instantiate an ADT constructor of a given type with the given children
Function &T make(type[&T] typ, str name, list[value] args)
Usage import Type;
Description This function will build a constructor if the definition exists and throw an exception otherwise.