Primitively recursive categoricity for unars and equivalence structures