Add (Provenance)Fact#short

* a short string representation of a Fact