A prototype tool for experimenting nominal rewrite systems