Fix up Bind and Num
Clean up for Stmts
Make sure we update the environment
Allow function binding