[Gretl-devel] trailing colon for function parameter refinements