Never Type

[philberty]

https://doc.rust-lang.org/reference/types/never.html

fn main() {
    let a = return;
    let b = a + 1;
    a = 123;
}

This has interesting implications for the type resolution and eager substitution of inference variables.

See #364 for more context.

[philberty]

This depends on #434