Simplify type parameter of Function<P, R>
Change Evaluable from interface to abstract class

It will have bind(..).
Introduce Binding/bind(..)
Add test code for bind()