Honu, top.ss: - Removed unused contract. - Added abstraction for setting current-compile-context. - Changed names of some input variables. - Added names of introduced definitions to output of run-program. - Begain writing test-program (for running test cases).
Honu, top.ss:
- Removed unused contract.
- Added abstraction for setting current-compile-context.
- Changed names of some input variables.
- Added names of introduced definitions to output of run-program.
- Begain writing test-program (for running test cases).

svn: r905

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket