explicit type annotation ignored

[nyuichi]

The Satysfi language allows explicit type annotation at let binding with no function arguments like the following:

let foo : int = `hello` in ...

However, currently, it seems that the type annotation is simply ignored during type checking.
Thus the above code, which is clearly incorrect, passes type checking.