Function binding both ways, and return type support

The following compiles and works with sol as of this pull request: http://pastebin.com/s4Jbjnht
Next step is class binding, and syntactic sugar for the function bindes (to specify overloads and other friends).