add ExtendEnvironment
add SetupEnvironment
q
yes
change the first argument of ApplyProcedure
change arguments of Evalxxx
change IsvalidExp
define expression works.
other tests will be needed.
Change ExtecdEnvironment so as to return baseEnv.
Change EvalDefinition so as to make list of sequence.
add Plus
change EvalDefinition so as to more appropreately make list