Added stuff for category theory and Currying
Added extra stuff for partial functions