operator_terms_vs_precedence(1 plus 2, (1 + 2) * 3, 1 * (2 + 3), - (-) - (-)).
plus(1,2)
1 plus 2
canonical_ignores_custom_operator(ok).
dot_functor_is_list_notation("a", "a", "a").