Similar Items: An axiomatization for the universal theory of the Heisenberg group