Bug: false negative type checking about `Option`

[/c/ympfh]

The following must occur an error.

let x: Option<Nat> = Some(-1);
x