Adding optional type annotations to function definitions