[ASDL] First pass of subtype decl, for List[T] as variant