String_of for PMRS.Rules moved to Rules module.