The Types forum has moved! The new address is http://lists.seas.upenn.edu/mailman/listinfo/types-list.