add type inferencer for int literal
add type inferencer for float literal
add type checker for array and hash
refactoring testing method for type checker
add type inference for tuple type
add type inference support for variable