Added def-partial-measure (defpm) and defthm-domain tools.