PR #1: PromQL as a type rather than as text