Implement typed curried definitions

Expand partial applications when needed

Play nicer with regular Scheme

Change argument counting to type construction

Instead of counting the arguments a function can receive
we now construct its type. Anything but functions has
a type of 0 while (curried) functions are typed with cons
cells containing the type of its domain and codomain.

Test flipped function composition

Fix currying of higher order functions

Expand curried functions and check for errors

Add license