Что делает «let» в Rust?

В основном два вопроса:

1. Как let x = y переводится на псевдоанглийский/псевдокод?
2. Как работает блок if let x = y {} шаг за шагом?

Всегда предполагалось, что let объявляет переменную, пока я не встретил if let (код ниже) и не пошел гуглить.

let config_max = Some(3u8);
if let Some(max) = config_max {
    println!("The maximum is configured to be {}", max);
} else {
    println!("xyz");
}

Потоки StackOverflow объяснили, что let фактически оценивает/проверяет шаблон. Итак, я понял, что пусть только проверяет соответствие шаблона и значения и не объявляет переменную саму по себе:

let y = Some(5);
if let Some(x) = y { doZ(x); }
// 1. let Some(x) = y -- see if pattern Some(x) matches value y, if yes execute next expression
// 2. Some(x) = y -- the next expression, assign value of y to "variable Some(x)"
// if ( 1 and 2 are successful) { execute this }

Но тогда, если let используется только для сопоставления/оценки значения шаблона, то почему он используется в объявлении переменной? Ответ: Потому что он используется НЕ только для сопоставления с образцом, а необходим для объявления переменной.

let y = Some(5);
if let Some(x) = y { doZ(x); }
// if -- if
// let Some(x) = y -- ( if pattern Some(x) matches Some(5), declare variable Some(x) and assign value Some(5) to it ) 
// doZ(x) -- { execute doZ function and pass x as an argument}

A - Означает ли приведенный выше «перевод», что let Some(x) = Some(5) == let x = 5? Если да, то как это происходит? b - Разве весь смысл типов Option<T> и Enum не в том, чтобы отличаться от необработанных T?

if let x = 5 { doZ(x); } // a
// Warning: x = 5 is irrefutable, consider using just "let" without "if".

5 == Some(5) // b, false

Вышеупомянутая ошибка также опровергает, если if в if let Some(x) = y является обычным if, ищет логическое значение, после чего запускает код внутри "{}". Но let — это оператор, он не возвращает логическое значение или что-то еще, с if или без него. Значит ли это, что if в данном конкретном случае на самом деле не if (которому требуется логическое значение для выполнения кода), а исчерпывающий match? Если да, то почему if, а не какое-то другое/новое ключевое слово?