Specify the syntax and semantics of the ADT Map using algebraic (axiomatic) approach.
Give an implementation of the ADT Map in Scheme.
Note: The ADT specs are written in functional style and as such do not support assignments. ... Submit your well-documented solution in adt.scm (containing algebraic specs of the ADT as comments and a conforming implementation in Scheme). Make sure that the solution files can be loaded and run in Racket without any modification.