For example, this fails to compile:

let x: u8? = 1 + 1;

Easy fix in type checking but opening this issues to fix it for all relevant binary ops and investigate other places where this might happen. Also, we should write extensive tests for all possible ops.

Note: I think unary ops have this problem too.