Test the remaining non-TH expressions, constructors and types.