Does anyone have an objection to the syntax "(define x)" meaning that the variable is to be bound, but its location is to be either left unassigned or assigned an unspecified value? This is already implemented in MIT Scheme, I think. Consider it proposed.