Remove the [name] argument to [declare_abstract_type]. Update all demos.

demos/faulty/avl/Main.ml

demos/faulty/bag_det/Main.ml

demos/faulty/bag_nondet/Main.ml

demos/faulty/generator/Main.ml

demos/faulty/map/Main.ml

demos/faulty/pairs/Main.ml

demos/faulty/parray/Main.ml

demos/faulty/parray_mini/Main.ml

demos/faulty/sparray/Main.ml

demos/misc/choose_and_remove_opt_deterministic/Main.ml

demos/misc/map_choose/Main.ml

demos/misc/map_choose_opt/Main.ml

demos/misc/seq1/Main.ml

demos/misc/seq2/Main.ml

demos/misc/seq3/Main.ml

demos/misc/seq4/Main.ml

demos/misc/seq5/Main.ml

demos/misc/seq6/Main.ml

demos/working/bag/Main.ml

demos/working/map/Main.ml