Added some descriptive aliases for the function types
Implemented partial application. Some tidying.
Implemented partial application. Some tidying.
Added a Reducible interface. Fixed some javadoc warning, and other minor tidying.