No `add` method found on a number without annotations where expected `add` result is not `u64`

This program:
```
library;
const C: u8 = 11 + 22;
```
results in the following error:
```
1 | library;
2 | const C: u8 = 11 + 22;
  |                  ^ No method "add(u64, numeric) -> u8" found for type "u64".  
Matching method:
    add(u64, u64) -> u64 in u64
```