jspecify

完整規格化註解產物，用以驅動靜態分析檢查，包含空值（nullness）分析。