Type annotations on environment variable reads