Add a type constraint for `sexp_to_action' function.
Add some generic attempt to better understand Standard ML type system.
Prepare some utility test functions for equality on scheme meaning and
pretty printing both meanings both terms.
Add tests for `quote' and `cons' primitive functions.