Forgot to add hotPMRS.ml
Abstraction done on basic structures.
Added basic rules to PMRS.
Added Make to PMRS interface.
Fixed type signature of module.
Inserted StringSortPMRS.
Public rules in PMRS.
Fixed errornous rules type in PMRS.
Added comment to term type.