add the variable typing to parse and to compiler

[code-ga]

var a: Number
=> variable a have type is number
and can extend