* ir.texi: Document BIND_EXPR, LOOP_EXPR, and EXIT_EXPR.