Made inspect apply to metaterms, too.
Formatted strategies.
Several changes.  Removed `ReplActor` from all `BasicAtoms`.  Cleaned up code.  Added a `replace` method to `BasicAtom`.  Variables are no longer equal to their metavariable equivalent - they have different hash codes.