Refactor: Scope -> Env
Store & use function binding to allow functions from another module to be called
Remove redundant return ()'s