Renamed Stream to NetKAT_Stream.