AugAssignments now can be type inferred. Functions arguments are now given an initial type.