Implements basic reducibles.
Reducible, not reducer in this usage.
Merge pull request #1 from robrix/reducibles

Reducibles