[nameless] beta-reduction is confluent