sepcomp: implement tagging of primitive types