Inline AND/OR

[robknight]

Add support for inline conjunction blocks (AND/OR) within predicate definitions. This allows users to write nested predicates directly in their definitions, which are then lifted into anonymous predicates during the lowering pass.

Example:

my_pred(A, B) = AND(
    AND(
        Equal(A["foo"], 123)
    )
    Equal(A["bar"], B)
)

Gets transformed into:

my_pred$anon_0(A) = AND(
  Equal(A["foo"], 123)
)

my_pred(A, B) = AND(
  my_pred$anon_0(A)
  Equal(A["bar"], B)
)

Key changes:

• Grammar: Add inline_conjunction and predicate_call rules
• AST: Add StatementTmplKind enum with Call and InlineConjunction variants
• Lifting: New frontend_ast_lift.rs with AnonPredicateLifter
• Validation: Handle inline conjunction validation
• Lower: Call lifting pass before splitting