Minimal JSON serialization for annotations