Created abstract STL* monitor.
Adder pointwise operators.
Removed duplicate constructor parameters.
Freeze operator.
AbstractStarMonitor refactored.