Define macro WITH-BINDINGS
Initial re-introduction of local and global definitions

When modules are added, local definition will become the default.