add noneP
add none test
add more statement typechecking
differnetiate local and global variable, add current function type to parsing state
add typed return statement parsing based on current function return type