add more tests, fix stuff, etc.

add more tests
fix types for syntax objects with hash-tables or boxes
rewrite find-stx-type to put all cases for atomic values in one case
that uses (tc-literal datum-stx expected)
add purpose statement for find-stx-type
add FIXME in comment about prefab structs
change else result from In-Syntax to Univ