Implying precum sounds good in any case, yeah
Not sure if dripping precum and leaking should be aliased.
To my understanding “leaking precum” is exactly what precum is, leaking from the tip. So maybe alias that to precum
dripping could be a step further though, when there’s so much that it starts dripping, so maybe keep that separate