Add primitive generation of function binds.
Add more reasonable handling of function currying.