typing rule for byte constants e.g. 16uy