Add parens to definitions so it build again

Define `f x = g x /\ h x` now must be Define `f x = (g x /\ h x)`