Yes, we can use syntax priorities.  There are used in a few places like https://github.com/kframework/k/blob/master/tutorial/2_languages/3_fun/1_untyped/2_substitution/fun-untyped.k
(lines 104-111).  This would deserve some documentation on its own...