Implemented function binding and nested functions

Scoping *should* be lexical, but hasn't been tested to closely yet.