Introducing structured types in herd.
Notice: The syntax of declarations has been simplified,
multi declarations such as type ... x,y=1; are no longer valid.