is there any appetite for adjusting the DSL to normalize the operators?

defintion foo {
 relation goo: goo | goo#boo
 permission edit = goo + goo->edit
}

:

vs

=

and

#

vs

->

and

+

vs

|

might just be me but seems like using both : = for assignment and # -> for reference and + | for OR could be reduce to a single operator One of our devs thought

permission edit = A + B->C

was an intersection and not a union