remove unique? side-conditions from the r6rs language due to the _!_ semantics change
remove the "variable not a prefix" side-condition from the r6rs model