remove an extra definition of HProp from Empty