declaring a variable, which consists with two part:
constructing a symbol name (whatever type name, varaible name or function name)
constructing a type
which is similar to Variable Scope, but used in function.
which consits with two parts:
separate two things with same kind.