<> ((eval ?x)) (?x) (eval (<> (join (?x) (?y)) (?x ?y))) (join (foo) (bar))