I am looking for a standard doc about types of Scheme. For instance, As types don’t need to be explicitly specified in a program, I do not know it is bool or boolean; LIST or LISTE; int or Nat; List[] or List[alpha]…
Another small question is how “atomic expression” is defined. For instance, is '(1 2 3) an atomic expression?
Here is the standards manual for MIT scheme. Depending on which scheme you’re using, this might or might not be what you’re looking for.