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