The Wheeler symbolic manipulation library