Registers a simpset fragment for later use with SF.
DESCRIPTION
A call to simpLib.register_frag sfrag records a mapping from the
name of sfrag to the sfrag value. This internal database is then
used by simplification tactics when they see theorems created with
calls to SF.