fix types of stx->list, stx-car, etc.
test types for typed/syntax/stx
add comments about (Syntaxof Syntax-E)
add types for Stx-Null, Stx-Pairof, and Stx-Listof