Adding optional type annotations to global assignments