NetKAT compiler extra credit