Fixing the optional type annotations of global assignments