SAWScript: Function types in record types need to be parenthesized

[Bretton]

This gives a parse error:

let thing : { a : Int -> Int } = { a = \x -> x };

[05:07:35.605] Parse error at /home/bretton/Documents/scratch/scratch.saw:1:23-1:25: Unexpected `->'

but this works:

let thing : { a : (Int -> Int) } = { a = \x -> x };

I would expect the parentheses to be optional.