It's a shame they had to overload * and &, most of the syntax would be saner without that I think - that and the weird "spiral parse" thing going on with type declarations
if onlty they hadn't gone with the weird rule that the type name should be in the position so that after unpacking all the outer syntax of the *'s and []'s and ()'s you'd end up at the final type