type -> type_name | "[" type "]"
merged
Thanks, merged! I also added the file that generates this test.