Remove the unused unroll options.
Remove the unused IsRestrict.
Remove an unused bogus Eq instance for ShowValue.
Remove the unused debug option.
Remove unused WithOptions constructor in Action.
Remove a bogus Eq Rule instance.
Remove the unused Memory Information.
Stop importing unused constructors.
Add explicit export list and remove a stale import.
Merge pull request #156 from pjonsson/reduce-options

Remove unused options