Remove specs for dual methods

These were required for monkey patching `tr` and `sub` but not anymore.
WIP convert specs to proposed notation