Explicitly named arguments have unneeded parenthesis
Currently the parser requires named arguments to have parenthesis, which is strictly not needed.
Example:
Hom { dom = (f x) , codom = y }
The parenthesis around f x
are not needed, and we should instead parse it like this:
Hom { dom = f x , codom = y }