Added Nil and Boolean literal parsing and treat nil/true/false as keywords
Added type inference for Optional type
More accurate type inference in function call's arguments