[r6rs-discuss] [Formal] Remove DEFINE and BEGIN^F from formal semantics

[AndrevanTonder]

---
This message is a formal comment which was submitted to formal-comment at r6rs.org, following the requirements described at: http://www.r6rs.org/process.html
---
Name        : Andre van Tonder
Email       : andre at het.brown.edu
Type        : defect
Priority    : medium
Component   : Formal semantics
Version     : 5.92
Pages       : 61 and on
Dependencies: None

Summary:
--------

DEFINE and BEGIN^F have no place in the formal semantics, needlessly complicate 
the latter, and should be removed.

Description:
------------

According to the description of the expansion process in chapter 8, a fully 
expanded Scheme program will not contain any occurrences of DEFINE or
BEGIN^F, /not even at program or library toplevel/.

For this reason, including these as primitives in the formal semantics does not 
add any value to the formal semantics.  It just needlessly complicates and 
bloats it (a lot).

Suggestion:
-----------

Remove DEFINE and BEGIN^F from formal semantics.