introduce default variable bindings