make the s2s translator aware of list and posn constructors/accessors/predicates, and group all TLDs together (moving tests to the end)