Shadow different scopes. Give more context to language user

[mhmdvoid]

// Scope1
typealias Foo = bool;
func void doSome() {
typealias Foo = int; // Scope2
var bar : Foo = true; // Typechecker should report error ! as Foo should get bound to int and accept int value
.....
}