Adding optional type annotations to parameters list, local assignments, and for statements